Search Results for author: Marcos Goycoolea

Found 1 papers, 0 papers with code

Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks

no code implementations27 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.