32 citations · 61 across the 17 of their papers we have counts for
1 paper · 1 filter
Fabian Zaiser, Andrzej S. Murawski, C. -H. Luke Ong
We study the problem of bounding the posterior distribution of discrete probabilistic programs with unbounded support, loops, and conditioning. Loops pose the main difficulty in th…