Tight Verification of Probabilistic Robustness in Bayesian Neural Networks

21 January 2024

Papers citing "Tight Verification of Probabilistic Robustness in Bayesian Neural Networks"

4 / 4 papers shown

Title
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 42 0 0 27 May 2024
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming Steven Adams A. Patané Morteza Lahijanian Luca Laurenti AAML 101 7 0 19 Jun 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 234 1,837 0 03 Feb 2017
Domain-Adversarial Training of Neural Networks Yaroslav Ganin E. Ustinova Hana Ajakan Pascal Germain Hugo Larochelle François Laviolette M. Marchand Victor Lempitsky GAN OOD 177 9,332 0 28 May 2015