no code implementations • 27 Dec 2023 • Fabian Badilla, Marcos Goycoolea, Gonzalo Muñoz, Thiago Serra
The use of Mixed-Integer Linear Programming (MILP) models to represent neural networks with Rectified Linear Unit (ReLU) activations has become increasingly widespread in the last decade.