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).