Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks

Oct-2-2025, 14:58:19 GMT–Neural Information Processing Systems 

The so-called big-M formulation is the main approach for encoding NNs as MILPs in the above references.