Bayesian inference with certifiable adversarial robustness - Wicker, M; Laurenti, L; Patane, A; Chen, Z; Zhang, Z; Kwiatkowska, M (Journal of Machine Learning Research, 2021)