Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds - Zaiser, F (University of Oxford, 2024)