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

Open in new window