mlsanityData to 14 Oct 2026

The Pros and Cons of Adversarial Robustness

arXiv 2312.10911 ↗First posted 18 Dec 2023cs.LG cs.CVcited by 1

Not on the map. Why?

Abstract (arXiv)

Robustness is widely regarded as a fundamental problem in the analysis of machine learning (ML) models. Most often robustness equates with deciding the non-existence of adversarial examples, where adversarial examples denote situations where small changes on some inputs cause a change in the prediction. The perceived importance of ML model robustness explains the continued progress observed for most of the last decade. Whereas robustness is often assessed locally, i.e. given some target point in feature space, robustness can also be defined globally, i.e. where any point in feature space can be considered. The importance of ML model robustness is illustrated for example by the existence of competitions evaluating the progress of robustness tools, namely in the case of neural networks (NNs) but also by efforts towards robustness certification. More recently, robustness tools have also been used for computing rigorous explanations of ML models. In contrast with the observed successes of robustness, this paper uncovers some limitations with existing definitions of robustness, both global and local, but also with efforts towards robustness certification. The paper also investigates uses of adversarial examples besides those related with robustness.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 41 of its 90 references that are in the map. First posted on arXiv 18 Dec 2023.

Builds on

41 of 90 references.

References · 41

  1. 2014Explaining and Harnessing Adversarial Examplescited by 7,364
  2. 2013Intriguing properties of neural networkscited by 5,155
  3. 2020The Many Faces of Robustness: A Critical Analysis of Out-of-Distribution Generalizationcited by 1,850
  4. 2019Certified Adversarial Robustness via Randomized Smoothingcited by 1,340
  5. 2017Explanation in Artificial Intelligence: Insights from the Social Sciencescited by 1,206
  6. 2017Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networkscited by 744
  7. 2017Evasion Attacks against Machine Learning at Test Timecited by 689
  8. 2018Certified Robustness to Adversarial Examples with Differential Privacycited by 468
  9. 2021MEMO: Test Time Robustness via Adaptation and Augmentationcited by 377
  10. 2021Interpretable Machine Learning: Fundamental Principles and 10 Grand Challengescited by 367
  11. 2017DeepXplore: Automated Whitebox Testing of Deep Learning Systemscited by 311
  12. 2020Pretrained Transformers Improve Out-of-Distribution Robustnesscited by 294
29 more
  1. 2019A Fourier Perspective on Model Robustness in Computer Visioncited by 288
  2. 2017DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Carscited by 251
  3. 2017Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulationcited by 185
  4. 2018Abduction-Based Explanations for Machine Learning Modelscited by 160
  5. 2022(Certified!!) Adversarial Robustness for Free!cited by 132
  6. 2018A Symbolic Approach to Explaining Bayesian Network Classifierscited by 131
  7. 2020Certified Robustness to Label-Flipping Attacks via Randomized Smoothingcited by 108
  8. 2021Globally-Robust Neural Networkscited by 108
  9. 2018Training for Faster Adversarial Robustness Verification via Inducing ReLU Stabilitycited by 67
  10. 2021Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Boundscited by 65
  11. 2018Adversarial Examples: Opportunities and Challengescited by 63
  12. 2023First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)cited by 58
  13. 2018Concolic Testing for Deep Neural Networkscited by 51
  14. 2020Certified Monotonic Neural Networkscited by 51
  15. 2022On Tackling Explanation Redundancy in Decision Treescited by 44
  16. 2022The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Resultscited by 39
  17. 2019Adversarial Examples in Modern Machine Learning: A Reviewcited by 36
  18. 2022On Computing Probabilistic Explanations for Decision Treescited by 35
  19. 2022Eliminating The Impossible, Whatever Remains Must Be Truecited by 23
  20. 2023Logic for Explainable AIcited by 23
  21. 2023Explainability is NOT a Gamecited by 23
  22. 2022On Computing Probabilistic Abductive Explanationscited by 18
  23. 2022Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encodingcited by 15
  24. 2021Learning Security Classifiers with Verified Global Robustness Propertiescited by 14
  25. 2023From Robustness to Explainability and Back Againcited by 14
  26. 2023Disproving XAI Myths with Formal Methods -- Initial Resultscited by 12
  27. 2020Provably Robust Adversarial Examplescited by 8
  28. 2022A Tool for Neural Network Global Robustness Certification and Trainingcited by 5
  29. 2022Improving Adversarial Robustness via Joint Classification and Multiple Explicit Detection Classescited by 4

Built on by

Cited by year

Citing papers per year: 2024: 1.

1 paper.