Department of Mathematics, KTH Royal Institute of Technology; Department of Computing, Imperial College London
Calvin Tsay, Jan Kronqvist, Alexander Thebelt, Ruth Misener
Mixed-integer programming;Deep learning;Rectified linear activation
Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks