Adversarial Robustness Guarantees for Classification with Gaussian Processes

28 May 2019

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

6 / 6 papers shown

Title
Evolution of Neural Tangent Kernels under Benign and Adversarial Training Noel Loo Ramin Hasani Alexander Amini Daniela Rus AAML 34 13 0 21 Oct 2022
Probabilistic Safety for Bayesian Neural Networks Matthew Wicker Luca Laurenti A. Patané Marta Z. Kwiatkowska AAML 14 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 38 77 0 11 Feb 2020
Adversarial Examples, Uncertainty, and Transfer Testing Robustness in Gaussian Process Hybrid Deep Networks John Bradshaw A. G. Matthews Zoubin Ghahramani BDL AAML 68 171 0 08 Jul 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016