أرسل هذا في رسالة قصيرة: Bayesian inference with certifiable adversarial robustness