Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks

27 December 2023

Papers citing "Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks"

6 / 6 papers shown

Title
Optimization Over Trained Neural Networks: Taking a Relaxing Walk Jiatai Tong Junyang Cai Thiago Serra 57 6 0 07 Jan 2024
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 86 32 0 29 Apr 2023
Mixed-Integer Optimization with Constraint Learning Donato Maragno H. Wiberg Dimitris Bertsimas Ş. Birbil D. Hertog Adejuyigbe O. Fajemisin 46 50 0 04 Nov 2021
Optimization with Constraint Learning: A Framework and Survey Adejuyigbe O. Fajemisin Donato Maragno D. Hertog 41 29 0 05 Oct 2021
BRPO: Batch Residual Policy Optimization Kentaro Kanamori Yinlam Chow Takuya Takagi Hiroki Arimura Honglak Lee Ken Kobayashi Craig Boutilier OffRL 125 46 0 08 Feb 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 219 1,818 0 03 Feb 2017