Affine monads and lazy structures for Bayesian programming by Dash, S, Kaddar, Y, Paquet, H, Staton, S

Densities of almost surely terminating probabilistic programs are differentiable almost everywhere by Mak, C, Ong, C-H, Paquet, H, Wagner, D