Robustness guarantees for Bayesian neural networks (invited extended abstract of a keynote speaker)

Bayesian neural networks (BNNs), a family of neural networks with a probability distribution placed on their weights, have the advantage of being able to reason about uncertainty in their predictions as well as data. Their deployment in safety-critical applications demands rigorous robustness guaran...