/PartitionedFormulations_NN

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

Primary LanguagePythonApache License 2.0Apache-2.0

Stargazers