Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere.

Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner

Browse the full ESOP paper archive.