本文介绍了一种基于贝叶斯学习的对抗训练方法，提出了可证明保证的贝叶斯神经网络框架。该方法在MNIST、FashionMNIST和CIFAR-10数据集上训练出鲁棒性模型，并用于不确定性校准。这是第一次直接训练可证明的BNN，有助于在安全关键应用中的部署。