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

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

collaborators
Showing math.OCShow all

2 papers · 1 filter

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…

math.OC2024

Optimization Over Trained Neural Networks: Taking a Relaxing Walk

Jiatai Tong, Junyang Cai, Thiago Serra

Besides training, mathematical optimization is also used in deep learning to model and solve formulations over trained neural networks for purposes such as verification, compressio…