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

Dec-23-2025, 20:00:55 GMT–Neural Information Processing Systems 

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