2024
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
AISTATS 2024poster
We introduce two algorithms for computing tight guarantees on the probabilistic robustness of Bayesian Neural Networks (BNNs). Computing robustness guarantees for BNNs is a significantly more challenging task than verifying the robustness of standard Neural Networks (NNs) because it requires searchi…