Densities of almost surely terminating probabilistic programs are differentiable almost everywhere (Lecture Notes in Computer Science, 2021)

(untitled) - Mak, C; Ong, C-H; Paquet, H; Wagner, D