On Certifying Non-uniform Bound against Adversarial Attacks

15 March 2019

Papers citing "On Certifying Non-uniform Bound against Adversarial Attacks"

8 / 8 papers shown

Title
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 17 6 0 09 Dec 2021
Localized Uncertainty Attacks Ousmane Amadou Dia Theofanis Karaletsos C. Hazirbas Cristian Canton Ferrer I. Kabul E. Meijer AAML 21 2 0 17 Jun 2021
Adversarial Robustness with Non-uniform Perturbations Ece Naz Erdemir Jeffrey Bickford Luca Melis Sergul Aydore AAML 16 26 0 24 Feb 2021
Robustness Certification of Generative Models M. Mirman Timon Gehr Martin Vechev AAML 35 22 0 30 Apr 2020
Semantics Preserving Adversarial Learning Ousmane Amadou Dia Elnaz Barshan Reza Babanezhad AAML GAN 21 2 0 10 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 228 1,835 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 261 3,109 0 04 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016