Tight Verification of Probabilistic Robustness in Bayesian Neural Networks

1 code implementation • 21 Jan 2024 • Ben Batten, Mehran Hosseini, Alessio Lomuscio

We introduce two algorithms for computing tight guarantees on the probabilistic robustness of Bayesian Neural Networks (BNNs).