Tight Verification of Probabilistic Robustness in Bayesian Neural Networks

Open in new window