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...
| Hoofdauteurs: | , , , |
|---|---|
| Formaat: | Conference item |
| Taal: | English |
| Gepubliceerd in: |
Springer
2021
|