Robustness Certificates Against Adversarial Examples for ReLU Networks

1 February 2019

Papers citing "Robustness Certificates Against Adversarial Examples for ReLU Networks"

10 / 10 papers shown

Title
Provable Robustness for Streaming Models with a Sliding Window Aounon Kumar Vinu Sankar Sadasivan S. Feizi OOD AAML AI4TS 21 1 0 28 Mar 2023
Certifying Model Accuracy under Distribution Shifts Aounon Kumar Alexander Levine Tom Goldstein S. Feizi OOD 27 7 0 28 Jan 2022
Policy Smoothing for Provably Robust Reinforcement Learning Aounon Kumar Alexander Levine S. Feizi AAML 20 56 0 21 Jun 2021
Certifying Confidence via Randomized Smoothing Aounon Kumar Alexander Levine S. Feizi Tom Goldstein UQCV 36 39 0 17 Sep 2020
Curse of Dimensionality on Randomized Smoothing for Certifiable Robustness Aounon Kumar Alexander Levine Tom Goldstein S. Feizi 15 94 0 08 Feb 2020
Robustness for Non-Parametric Classification: A Generic Attack and Defense Yao-Yuan Yang Cyrus Rashtchian Yizhen Wang Kamalika Chaudhuri SILM AAML 34 42 0 07 Jun 2019
Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes Matt Jordan Justin Lewis A. Dimakis AAML 24 57 0 20 Mar 2019
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
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 298 3,113 0 04 Nov 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 326 5,847 0 08 Jul 2016