Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks

Open in new window