Approximations in Probabilistic Programs

Ekansh Sharma, Daniel M. Roy

We study the first-order probabilistic programming language introduced by Staton et al. (2016), but with an additional language construct, $\mathbf{stat}$, that, like the fixpoint…