Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere

We study the differential properties of higher-order statistical probabilistic programs with recursion and conditioning. Our starting point is an open problem posed by Hongseok Yang: what class of statistical probabilistic programs have densities that are differentiable almost everywhere? To formali...

Descripción completa

Detalles Bibliográficos
Autores principales: Mak, Carol, Ong, C.-H. Luke, Paquet, Hugo, Wagner, Dominik
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2021
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984578/
http://dx.doi.org/10.1007/978-3-030-72019-3_16

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984578/
http://dx.doi.org/10.1007/978-3-030-72019-3_16

Ejemplares similares