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

Probabilistic certification of Bayesian neural networks lower-bounds the posterior probability that a model satisfies a verifier-defined safety property. In one-shot federated Bayesian learning, however, the deployed model is obtained by aggregating parameters drawn from client-specific posterior di