Adversarial Robustness Guarantees for Classification with Gaussian
Processes

v1v2v3 (latest)

Adversarial Robustness Guarantees for Classification with Gaussian Processes

28 May 2019

Marta Z. Kwiatkowska

Stephen J. Roberts

ArXiv (abs)PDF HTML

Papers citing "Adversarial Robustness Guarantees for Classification with Gaussian Processes"

14 / 14 papers shown

Title
Robustness bounds on the successful adversarial examples in probabilistic models: Implications from Gaussian processes Hiroaki Maeshima Akira Otsuka AAML 67 0 0 04 Mar 2024
Probabilistic Reach-Avoid for Bayesian Neural Networks Matthew Wicker Luca Laurenti A. Patané Nicola Paoletti Alessandro Abate Marta Z. Kwiatkowska 44 4 0 03 Oct 2023
Evolution of Neural Tangent Kernels under Benign and Adversarial Training Noel Loo Ramin Hasani Alexander Amini Daniela Rus AAML 84 13 0 21 Oct 2022
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression John Jackson Luca Laurenti Eric Frew Morteza Lahijanian 66 16 0 31 Dec 2021
Recipes for when Physics Fails: Recovering Robust Learning of Physics Informed Neural Networks Minh Nguyen Luke McLennan T. Andeen Avik Roy PINN 59 29 0 26 Oct 2021
Explanatory Pluralism in Explainable AI Yiheng Yao XAI 47 4 0 26 Jun 2021
Certification of Iterative Predictions in Bayesian Neural Networks Matthew Wicker Luca Laurenti A. Patané Nicola Paoletti Alessandro Abate Marta Z. Kwiatkowska 138 11 0 21 May 2021
Fast Falsification of Neural Networks using Property Directed Testing Moumita Das Rajarshi Ray S. Mohalik A. Banerjee AAML 33 1 0 26 Apr 2021
Adversarial Robustness Guarantees for Gaussian Processes A. Patané Arno Blaas Luca Laurenti L. Cardelli Stephen J. Roberts Marta Z. Kwiatkowska GP AAML 188 9 0 07 Apr 2021
The Effect of Prior Lipschitz Continuity on the Adversarial Robustness of Bayesian Neural Networks Arno Blaas Stephen J. Roberts BDL AAML 78 2 0 07 Jan 2021
Assessing Robustness of Text Classification through Maximal Safe Radius Computation Emanuele La Malfa Min Wu Luca Laurenti Benjie Wang Anthony Hartshorn Marta Z. Kwiatkowska AAML 68 18 0 01 Oct 2020
Probabilistic Safety for Bayesian Neural Networks Matthew Wicker Luca Laurenti A. Patané Marta Z. Kwiatkowska AAML 52 52 0 21 Apr 2020
Robustness of Bayesian Neural Networks to Gradient-Based Attacks Ginevra Carbone Matthew Wicker Luca Laurenti A. Patané Luca Bortolussi G. Sanguinetti AAML 102 79 0 11 Feb 2020
Safety Guarantees for Planning Based on Iterative Gaussian Processes Kyriakos Polymenakos Luca Laurenti A. Patané Jan-Peter Calliess L. Cardelli Marta Z. Kwiatkowska Alessandro Abate Stephen J. Roberts 67 10 0 29 Nov 2019