gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networks
Not on the map. Why?
Abstract (arXiv)
Deep neural networks (DNNs) are at the forefront of cutting-edge technology, and have been achieving remarkable performance in a variety of complex tasks. Nevertheless, their integration into safety-critical systems, such as in the aerospace or automotive domains, poses a significant challenge due to the threat of adversarial inputs: perturbations in inputs that might cause the DNN to make grievous mistakes. Multiple studies have demonstrated that even modern DNNs are susceptible to adversarial inputs, and this risk must thus be measured and mitigated to allow the deployment of DNNs in critical settings. Here, we present gRoMA (global Robustness Measurement and Assessment), an innovative and scalable tool that implements a probabilistic approach to measure the global categorial robustness of a DNN. Specifically, gRoMA measures the probability of encountering adversarial inputs for a specific output category. Our tool operates on pre-trained, black-box classification DNNs, and generates input samples belonging to an output category of interest. It measures the DNN's susceptibility to adversarial inputs around these inputs, and aggregates the results to infer the overall global categorial robustness of the DNN up to some small bounded statistical error. We evaluate our tool on the popular Densenet DNN model over the CIFAR10 dataset. Our results reveal significant gaps in the robustness of the different output categories. This experiment demonstrates the usefulness and scalability of our approach and its potential for allowing DNNs to be deployed within critical systems of interest.
Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 17 of its 46 references that are in the map. First posted on arXiv 5 Jan 2023.
Builds on
17 of 46 references.
References · 17
- 2014Explaining and Harnessing Adversarial Examplescited by 7,287
- 2016Densely Connected Convolutional Networkscited by 6,691
- 2019Certified Adversarial Robustness via Randomized Smoothingcited by 1,324
- 2017Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networkscited by 739
- 2016TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systemscited by 660
- 2018Formal Security Analysis of Neural Networks using Symbolic Intervalscited by 185
- 2021Globally-Robust Neural Networkscited by 106
- 2016Measuring Neural Net Robustness with Constraintscited by 90
- 2021PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximationscited by 77
- 2019Robustness of Neural Networks: A Probabilistic and Practical Approachcited by 38
- 2020Scalable Quantitative Verification For Deep Neural Networkscited by 31
- 2017Towards Proving the Adversarial Robustness of Deep Neural Networkscited by 26
5 more
- 2021BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networkscited by 17
- 2022CertiFair: A Framework for Certified Global Fairness of Neural Networkscited by 17
- 2021RoMA: a Method for Neural Network Robustness Measurement and Assessmentcited by 10
- 2022A Tool for Neural Network Global Robustness Certification and Trainingcited by 5
- 2022Management and Detection System for Medical Surgical Equipmentcited by 3
Built on by
Citing papers per year: 2025: 1.
1 paper.