Adversarial Robustness Guarantees for Gaussian Processes

7 April 2021

Papers citing "Adversarial Robustness Guarantees for Gaussian Processes"

4 / 4 papers shown

Title
Attacking Bayes: On the Adversarial Robustness of Bayesian Neural Networks Yunzhen Feng Tim G. J. Rudner Nikolaos Tsilivis Julia Kempe AAML BDL 43 1 0 27 Apr 2024
Adversarial Examples, Uncertainty, and Transfer Testing Robustness in Gaussian Process Hybrid Deep Networks John Bradshaw A. G. Matthews Zoubin Ghahramani BDL AAML 60 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 226 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016