Certified Uncertainty Propagation in One-Shot Federated Bayesian Models via Posterior Event Transport

Mahyar Mohammadi, Mohammad Hossein Badiei, Abolfazl Yaghmaei +1

Probabilistic certification of Bayesian neural networks lower-bounds the posterior probability that a model satisfies a verifier-defined safety property. In one-shot federated Baye…