Adversarial Robustness Guarantees for Gaussian Processes
Not on the map. Why?
Abstract (arXiv)
Gaussian processes (GPs) enable principled computation of model uncertainty, making them attractive for safety-critical applications. Such scenarios demand that GP decisions are not only accurate, but also robust to perturbations. In this paper we present a framework to analyse adversarial robustness of GPs, defined as invariance of the model's decision to bounded perturbations. Given a compact subset of the input space Tsubseteq ℝd, a point x^* and a GP, we provide provable guarantees of adversarial robustness of the GP by computing lower and upper bounds on its prediction range in T. We develop a branch-and-bound scheme to refine the bounds and show, for any ε > 0, that our algorithm is guaranteed to converge to values ε-close to the actual values in finitely many iterations. The algorithm is anytime and can handle both regression and classification tasks, with analytical formulation for most kernels used in practice. We evaluate our methods on a collection of synthetic and standard benchmark datasets, including SPAM, MNIST and FashionMNIST. We study the effect of approximate inference techniques on robustness and demonstrate how our method can be used for interpretability. Our empirical results suggest that the adversarial robustness of GPs increases with accurate posterior estimation.
Key facts. Cited by 5 papers in the map (data through 7 Oct 2026). Builds on 30 of its 49 references that are in the map. First posted on arXiv 7 Apr 2021.
Builds on
30 of 49 references.
References · 30
- 2013Intriguing properties of neural networkscited by 5,114
- 2016"Why Should I Trust You?": Explaining the Predictions of Any Classifiercited by 5,040
- 2017Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithmscited by 4,283
- 2016Towards Evaluating the Robustness of Neural Networkscited by 2,976
- 2019Theoretically Principled Trade-off between Robustness and Accuracycited by 1,510
- 2019Certified Adversarial Robustness via Randomized Smoothingcited by 1,324
- 2017Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networkscited by 739
- 2018Efficient Neural Network Robustness Certification with General Activation Functionscited by 439
- 2017Wild Patterns: Ten Years After the Rise of Adversarial Machine Learningcited by 411
- 2018Gaussian Process Behaviour in Wide Deep Neural Networkscited by 314
- 2016Safety Verification of Deep Neural Networkscited by 262
- 2013Expectation Propagation for approximate Bayesian inferencecited by 172
18 more
- 2019Branch and Bound for Piecewise Linear Neural Network Verificationcited by 138
- 2018Is Robustness the Cost of Accuracy? -- A Comprehensive Study on the Robustness of 18 Deep Image Classification Modelscited by 135
- 2018Solving Linear Programs in the Current Matrix Multiplication Timecited by 100
- 2018Reachability Analysis of Deep Neural Networks with Provable Guaranteescited by 93
- 2016Understanding Probabilistic Sparse Gaussian Process Approximationscited by 68
- 2018Adversarially Robust Optimization with Gaussian Processescited by 61
- 2017Adversarial Examples, Uncertainty, and Transfer Testing Robustness in Gaussian Process Hybrid Deep Networkscited by 48
- 2020Robustness of Bayesian Neural Networks to Gradient-Based Attackscited by 48
- 2020Probabilistic Safety for Bayesian Neural Networkscited by 41
- 2019Statistical Guarantees for the Robustness of Bayesian Neural Networkscited by 35
- 2021Bayesian Inference with Certifiable Adversarial Robustnesscited by 26
- 2018Robustness Guarantees for Bayesian Inference with Gaussian Processescited by 23
- 2015Generalized Spectral Kernelscited by 17
- 2020Three Modern Roles for Logic in AIcited by 15
- 2018The Limitations of Model Uncertainty in Adversarial Settingscited by 14
- 2019Adversarial Robustness Guarantees for Classification with Gaussian Processescited by 11
- 2019Adversarial Vulnerability Bounds for Gaussian Process Classificationcited by 5
- 2017How Wrong Am I? - Studying Adversarial Examples and their Impact on Uncertainty in Gaussian Process Machine Learning Modelscited by 3
Built on by
Citing papers per year: 2022: 1; 2023: 3; 2024: 1.
5 papers.
- 2022On the Robustness of Bayesian Neural Networks to Adversarial Attackscited by 12
- 2023BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programmingcited by 8
- 2023Adversarial Robustness Certification for Bayesian Neural Networkscited by 7
- 2023Promises of Deep Kernel Learning for Control Synthesiscited by 4
- 2024Attacking Bayes: On the Adversarial Robustness of Bayesian Neural Networkscited by 2
- 2024Attacking Bayes: On the Adversarial Robustness of Bayesian Neural Networks27 Apr 2024
- 2023Promises of Deep Kernel Learning for Control Synthesis12 Sep 2023
- 2023Adversarial Robustness Certification for Bayesian Neural Networks23 Jun 2023
- 2023BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming19 Jun 2023
- 2022On the Robustness of Bayesian Neural Networks to Adversarial Attacks13 Jul 2022