BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming

19 June 2023

Papers citing "BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming"

4 / 4 papers shown

Title
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 18 0 0 27 May 2024
Fast and Scalable Bayesian Deep Learning by Weight-Perturbation in Adam Mohammad Emtiyaz Khan Didrik Nielsen Voot Tangkaratt Wu Lin Y. Gal Akash Srivastava ODL 71 264 0 13 Jun 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 219 1,818 0 03 Feb 2017
Dropout as a Bayesian Approximation: Representing Model Uncertainty in Deep Learning Y. Gal Zoubin Ghahramani UQCV BDL 243 9,042 0 06 Jun 2015