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

Apr-24-2026, 22:03:33 GMT–Neural Information Processing Systems 

This paper introduces a class of mixed-integer formulations for trained ReLU neural networks.