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

(untitled) - Zaiser, F