PRoA: A Probabilistic Robustness Assessment against Functional Perturbations
Not on the map. Why?
Abstract (arXiv)
In safety-critical deep learning applications robustness measurement is a vital pre-deployment phase. However, existing robustness verification methods are not sufficiently practical for deploying machine learning systems in the real world. On the one hand, these methods attempt to claim that no perturbations can ``fool'' deep neural networks (DNNs), which may be too stringent in practice. On the other hand, existing works rigorously consider Lp bounded additive perturbations on the pixel space, although perturbations, such as colour shifting and geometric transformations, are more practically and frequently occurring in the real world. Thus, from the practical standpoint, we present a novel and general it probabilistic robustness assessment method (PRoA) based on the adaptive concentration, and it can measure the robustness of deep learning models against functional perturbations. PRoA can provide statistical guarantees on the probabilistic robustness of a model, textiti.e., the probability of failure encountered by the trained model after deployment. Our experiments demonstrate the effectiveness and flexibility of PRoA in terms of evaluating the probabilistic robustness against a broad range of functional perturbations, and PRoA can scale well to various large-scale deep neural networks compared to existing state-of-the-art baselines. For the purpose of reproducibility, we release our tool on GitHub: url https://github.com/TrustAI/PRoA.
Key facts. Cited by 19 papers in the map (data through 14 Oct 2026). Builds on 19 of its 30 references that are in the map. First posted on arXiv 5 Jul 2022.
Builds on
19 of 30 references.
References · 19
- 2017Towards Deep Learning Models Resistant to Adversarial Attackscited by 6,415
- 2013Intriguing properties of neural networkscited by 5,155
- 2015Spatial Transformer Networkscited by 1,429
- 2019Certified Adversarial Robustness via Randomized Smoothingcited by 1,340
- 2017Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networkscited by 744
- 2018Efficient Neural Network Robustness Certification with General Activation Functionscited by 445
- 2018Towards Fast Computation of Certified Robustness for ReLU Networkscited by 255
- 2021Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verificationcited by 228
- 2020Perceptual Adversarial Robustness: Defense Against Unseen Threat Modelscited by 137
- 2020NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systemscited by 128
- 2018Adversarial Attacks and Defences Competitioncited by 96
- 2018Reachability Analysis of Deep Neural Networks with Provable Guaranteescited by 93
7 more
- 2019Functional Adversarial Attackscited by 82
- 2017Output Reachable Set Estimation and Verification for Multi-Layer Neural Networkscited by 80
- 2018A Statistical Approach to Assessing Neural Network Robustnesscited by 54
- 2020An SMT-Based Approach for Verifying Binarized Neural Networkscited by 47
- 2020Black-Box Certification with Randomized Smoothing: A Functional Optimization Based Frameworkcited by 46
- 2019Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verificationcited by 28
- 2021CC-Cert: A Probabilistic Approach to Certify General Robustness of Neural Networkscited by 19
Built on by
Citing papers per year: 2022: 1; 2023: 6; 2024: 6; 2025: 4; 2026: 2.
19 papers.
Sort:
By area:
- 2023Towards Verifying the Geometric Robustness of Large-scale Neural Networkscited by 11
- 2024ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbationcited by 10
- 2023Reachability Analysis of Neural Network Control Systemscited by 8
- 2022Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learningcited by 7
- 2023Reward Certification for Policy Smoothed Reinforcement Learningcited by 7
- 2023What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systemscited by 6
- 2024Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Surveycited by 6
- 2025Probabilistic Robustness in Deep Learning: A Concise yet Comprehensive Guidecited by 6
- 2024A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View Detectioncited by 3
- 2023Towards Certified Probabilistic Robustness with High Accuracycited by 2
- 2024DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospacecited by 2
- 2024How Does Bayes Error Limit Probabilistic Robust Accuracycited by 2
7 more
- 2023Model-Agnostic Reachability Analysis on Deep Neural Networkscited by 1
- 2024Towards Precise Observations of Neural Model Robustness in Classificationcited by 1
- 2025PRBench: A Standardized Probabilistic Robustness Benchmarkcited by 1
- 2025Non-Parametric Probabilistic Robustness: A Conservative Risk Estimator under Unknown Perturbation Distributionscited by 1
- 2025Get Global Guarantees: On the Probabilistic Nature of Perturbation Robustnesscited by 0
- 2026Probabilistic Robustness-driven Universal Adversarial Perturbations with Explainability against Deep Reinforcement Learning-based Intrusion Detection Systemcited by 0
- 2026Probabilistic Adversarial Trainingcited by 0
- 2026Probabilistic Adversarial Training30 Sep 2026
- 2026Probabilistic Robustness-driven Universal Adversarial Perturbations with Explainability against Deep Reinforcement Learning-based Intrusion Detection System24 Sep 2026
- 2025Non-Parametric Probabilistic Robustness: A Conservative Risk Estimator under Unknown Perturbation Distributions21 Nov 2025
- 2025PRBench: A Standardized Probabilistic Robustness Benchmark3 Nov 2025
- 2025Get Global Guarantees: On the Probabilistic Nature of Perturbation Robustness26 Aug 2025
- 2025Probabilistic Robustness in Deep Learning: A Concise yet Comprehensive Guide20 Feb 2025
- 2024A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View Detection18 Dec 2024
- 2024Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey26 Sep 2024
- 2024How Does Bayes Error Limit Probabilistic Robust Accuracy23 May 2024
- 2024Towards Precise Observations of Neural Model Robustness in Classification25 Apr 2024
- 2024ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation23 Feb 2024
- 2024DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace4 Jan 2024
7 more
- 2023Reward Certification for Policy Smoothed Reinforcement Learning11 Dec 2023
- 2023Towards Certified Probabilistic Robustness with High Accuracy2 Sep 2023
- 2023What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems20 Jul 2023
- 2023Model-Agnostic Reachability Analysis on Deep Neural Networks3 Apr 2023
- 2023Towards Verifying the Geometric Robustness of Large-scale Neural Networks29 Jan 2023
- 2023Reachability Analysis of Neural Network Control Systems28 Jan 2023
- 2022Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning22 Dec 2022
- 2023Towards Verifying the Geometric Robustness of Large-scale Neural Networkscited by 11
- 2023Reachability Analysis of Neural Network Control Systemscited by 8
- 2022Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learningcited by 7
- 2023Reward Certification for Policy Smoothed Reinforcement Learningcited by 7
- 2023What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systemscited by 6
- 2025Probabilistic Robustness in Deep Learning: A Concise yet Comprehensive Guidecited by 6
- 2024A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View Detectioncited by 3
- 2023Towards Certified Probabilistic Robustness with High Accuracycited by 2
- 2024DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospacecited by 2
- 2024How Does Bayes Error Limit Probabilistic Robust Accuracycited by 2
- 2023Model-Agnostic Reachability Analysis on Deep Neural Networkscited by 1
- 2024Towards Precise Observations of Neural Model Robustness in Classificationcited by 1
12 most cited of 16 All 16 (JSON)
- 2026Probabilistic Adversarial Training30 Sep 2026
- 2025Non-Parametric Probabilistic Robustness: A Conservative Risk Estimator under Unknown Perturbation Distributions21 Nov 2025
- 2025PRBench: A Standardized Probabilistic Robustness Benchmark3 Nov 2025
- 2025Get Global Guarantees: On the Probabilistic Nature of Perturbation Robustness26 Aug 2025
- 2025Probabilistic Robustness in Deep Learning: A Concise yet Comprehensive Guide20 Feb 2025
- 2024A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View Detection18 Dec 2024
- 2024How Does Bayes Error Limit Probabilistic Robust Accuracy23 May 2024
- 2024Towards Precise Observations of Neural Model Robustness in Classification25 Apr 2024
- 2024DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace4 Jan 2024
- 2023Reward Certification for Policy Smoothed Reinforcement Learning11 Dec 2023
- 2023Towards Certified Probabilistic Robustness with High Accuracy2 Sep 2023
- 2023What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems20 Jul 2023
12 newest of 16 All 16 (JSON)