Partition-based formulations for mixed-integer optimization of trained ReLU neural networks

Open in new window