An efficient nonconvex reformulation of stagewise convex optimization
problems

An efficient nonconvex reformulation of stagewise convex optimization problems

27 October 2020

Srinadh Bhojanapalli

Krishnamurthy Dvijotham

Papers citing "An efficient nonconvex reformulation of stagewise convex optimization problems"

7 / 7 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
Interpreting Robustness Proofs of Deep Neural Networks Debangshu Banerjee Avaljot Singh Gagandeep Singh AAML 18 5 0 31 Jan 2023
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations Mark Niklas Muller Gleb Makarchuk Gagandeep Singh Markus Püschel Martin Vechev 35 90 0 05 Mar 2021
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications Leonard Berrada Sumanth Dathathri Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel J. Uesato Sven Gowal M. P. Kumar AAML OOD 30 17 0 18 Feb 2021
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification Christian Tjandraatmadja Ross Anderson Joey Huchette Will Ma Krunal Patel J. Vielma AAML 24 89 0 24 Jun 2020
CAQL: Continuous Action Q-Learning Moonkyung Ryu Yinlam Chow Ross Anderson Christian Tjandraatmadja Craig Boutilier 197 42 0 26 Sep 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017