Pošalji tekstualnu poruku: Bayesian inference with certifiable adversarial robustness