TY - RPRT TI - Bayesian Inference with Certifiable Adversarial Robustness AU - Matthew Wicker AU - Luca Laurenti AU - Andrea Patane AU - Zhoutong Chen AU - Zheng Zhang AU - Marta Kwiatkowska PY - 2021 UR - https://arxiv.org/abs/2102.05289 ID - 2102.05289 ER -