A Primer on Multi-Neuron Relaxation-based Adversarial Robustness Certification

6 June 2021

Papers citing "A Primer on Multi-Neuron Relaxation-based Adversarial Robustness Certification"

3 / 3 papers shown

Title
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 99 33 0 29 Apr 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 332 5,849 0 08 Jul 2016