116 citations · 183 across the 17 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021★ 2 cited
Certification of Iterative Predictions in Bayesian Neural Networks
Matthew Wicker, Luca Laurenti, Andrea Patane +3
We consider the problem of computing reach-avoid probabilities for iterative predictions made with Bayesian neural network (BNN) models. Specifically, we leverage bound propagation…
cs.LG2021★ 8 cited
Bayesian Inference with Certifiable Adversarial Robustness
Matthew Wicker, Luca Laurenti, Andrea Patane +3
We consider adversarial training of deep neural networks through the lens of Bayesian learning, and present a principled framework for adversarial training of Bayesian Neural Netwo…