Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere

Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner 30th European Symposium on Programming (ESOP)
PDF Slides Video
Type
Conference paper
Publication
30th European Symposium on Programming