most citedComputational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

math.OC2024★ 2 cited

Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks

Fabian Badilla, Marcos Goycoolea, Gonzalo Muñoz +1

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…