33 citations · 206 across the 29 of their papers we have counts for
1 paper · 1 filter
Martin Avanzini, Georg Moser, Michael Schaper
In this work, we study the fully automated inference of expected result values of probabilistic programs in the presence of natural programming constructs such as procedures, local…