ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs

9 June 2021

Mykel J. Kochenderfer

Papers citing "ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs"

4 / 4 papers shown

Title
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 32 0 29 Apr 2023
Optimized Symbolic Interval Propagation for Neural Network Verification Philipp Kern Marko Kleine Büning C. Sinz 41 1 0 15 Dec 2022
Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems Aman Sinha Matthew O'Kelly Russ Tedrake John C. Duchi 39 48 0 24 Aug 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017