Fast and correct variational inference for probabilistic programming: Differentiability, reparameterisation and smoothing - Wagner, D (University of Oxford, 2023)