Improving the Tightness of Convex Relaxation Bounds for Training Certifiably Robust Classifiers

22 February 2020

Furong Huang

Papers citing "Improving the Tightness of Convex Relaxation Bounds for Training Certifiably Robust Classifiers"

2 / 2 papers shown

Title
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 27 89 0 24 Jun 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,842 0 03 Feb 2017