Văn bản này: Bayesian inference with certifiable adversarial robustness