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

2021 (1)

• Calvin Tsay, Jan Kronqvist, Alexander Thebelt, Ruth Misener, Partition-based formulations for mixed-integer optimization of trained ReLU neural networks, Advances in Neural Information Processing Systems, volume 34, 2021