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

Calvin Tsay, Jan Kronqvist, Alexander Thebelt +1

This paper introduces a class of mixed-integer formulations for trained ReLU neural networks. The approach balances model size and tightness by partitioning node inputs into a numb…