Robustness Guarantees for Bayesian Inference with Gaussian Processes

Robustness Guarantees for Bayesian Inference with Gaussian Processes

17 September 2018

Marta Kwiatkowska

Papers citing "Robustness Guarantees for Bayesian Inference with Gaussian Processes"

11 / 11 papers shown

Title
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 45 1 0 27 May 2024
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
A Survey of Neural Network Robustness Assessment in Image Recognition Jie Wang Jun Ai Minyan Lu Haoran Su Dan Yu Yutao Zhang Junda Zhu Jingyu Liu AAML 32 3 0 12 Apr 2024
Robustness of Control Design via Bayesian Learning N. Ashenafi Wankun Sirichotiyakul A. Satici 17 1 0 13 May 2022
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 37 66 0 26 Jul 2021
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
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control Rhiannon Michelmore Matthew Wicker Luca Laurenti L. Cardelli Y. Gal Marta Z. Kwiatkowska BDL 18 105 0 21 Sep 2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks L. Cardelli Marta Kwiatkowska Luca Laurenti Nicola Paoletti A. Patané Matthew Wicker AAML 31 54 0 05 Mar 2019
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016
Dropout as a Bayesian Approximation: Representing Model Uncertainty in Deep Learning Y. Gal Zoubin Ghahramani UQCV BDL 287 9,156 0 06 Jun 2015