RoMA: a Method for Neural Network Robustness Measurement and Assessment
Not on the map. Why?
Abstract (arXiv)
Neural network models have become the leading solution for a large variety of tasks, such as classification, language processing, protein folding, and others. However, their reliability is heavily plagued by adversarial inputs: small input perturbations that cause the model to produce erroneous outputs. Adversarial inputs can occur naturally when the system's environment behaves randomly, even in the absence of a malicious adversary, and are a severe cause for concern when attempting to deploy neural networks within critical systems. In this paper, we present a new statistical method, called Robustness Measurement and Assessment (RoMA), which can measure the expected robustness of a neural network model. Specifically, RoMA determines the probability that a random input perturbation might cause misclassification. The method allows us to provide formal guarantees regarding the expected frequency of errors that a trained model will encounter after deployment. Our approach can be applied to large-scale, black-box neural networks, which is a significant advantage compared to recently proposed verification methods. We apply our approach in two ways: comparing the robustness of different models, and measuring how a model's robustness is affected by the magnitude of input perturbation. One interesting insight obtained through this work is that, in a classification network, different output labels can exhibit very different robustness levels. We term this phenomenon categorial robustness. Our ability to perform risk and robustness assessments on a categorial basis opens the door to risk mitigation, which may prove to be a significant step towards neural network certification in safety-critical applications.
Key facts. Cited by 10 papers in the map (data through 14 Oct 2026). Builds on 19 of its 53 references that are in the map. First posted on arXiv 21 Oct 2021.
Builds on
19 of 53 references.
References · 19
- 2015Deep Residual Learning for Image Recognitioncited by 52,096
- 2014Very Deep Convolutional Networks for Large-Scale Image Recognitioncited by 15,364
- 2014Explaining and Harnessing Adversarial Examplescited by 7,364
- 2016Densely Connected Convolutional Networkscited by 6,720
- 2016Towards Evaluating the Robustness of Neural Networkscited by 2,998
- 2019Certified Adversarial Robustness via Randomized Smoothingcited by 1,340
- 2019Adversarial Examples Are Not Bugs, They Are Featurescited by 953
- 2017Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networkscited by 744
- 2016Safety Verification of Deep Neural Networkscited by 263
- 2018Formal Security Analysis of Neural Networks using Symbolic Intervalscited by 185
- 2016Measuring Neural Net Robustness with Constraintscited by 90
- 2018Evaluating Uncertainty Quantification in End-to-End Autonomous Driving Controlcited by 55
7 more
- 2018A Statistical Approach to Assessing Neural Network Robustnesscited by 54
- 2020An SMT-Based Approach for Verifying Binarized Neural Networkscited by 47
- 2019Robustness of Neural Networks: A Probabilistic and Practical Approachcited by 38
- 2020Parallelization Techniques for Verifying Neural Networkscited by 36
- 2020Verifying Recurrent Neural Networks using Invariant Inferencecited by 26
- 2018Verification of deep probabilistic modelscited by 8
- 2021Certification of embedded systems based on Machine Learning: A surveycited by 6
Built on by
Citing papers per year: 2022: 2; 2023: 2; 2024: 3; 2025: 2; 2026: 1.
10 papers.
- 2022veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection Systemcited by 12
- 2022Requirements Engineering for Machine Learning: A Review and Reflectioncited by 7
- 2024A Survey of Neural Network Robustness Assessment in Image Recognitioncited by 3
- 2024DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospacecited by 2
- 2025Statistical Runtime Verification for LLMs via Robustness Estimationcited by 2
- 2023gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networkscited by 1
- 2023Selecting Models based on the Risk of Damage Caused by Adversarial Attackscited by 1
- 2025A Validation Strategy for Deep Learning Models: Evaluating and Enhancing Robustnesscited by 1
- 2026Bounding the Black Box: A Statistical Certification Framework for AI Risk Regulationcited by 1
- 2024Robust optimization for adversarial learning with finite sample complexity guaranteescited by 0
- 2026Bounding the Black Box: A Statistical Certification Framework for AI Risk Regulation23 Apr 2026
- 2025A Validation Strategy for Deep Learning Models: Evaluating and Enhancing Robustness23 Sep 2025
- 2025Statistical Runtime Verification for LLMs via Robustness Estimation24 Apr 2025
- 2024A Survey of Neural Network Robustness Assessment in Image Recognition12 Apr 2024
- 2024Robust optimization for adversarial learning with finite sample complexity guarantees22 Mar 2024
- 2024DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace4 Jan 2024
- 2023Selecting Models based on the Risk of Damage Caused by Adversarial Attacks28 Jan 2023
- 2023gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networks5 Jan 2023
- 2022veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System6 Dec 2022
- 2022Requirements Engineering for Machine Learning: A Review and Reflection3 Oct 2022