6 citations · 15 across the 5 of their papers we have counts for
1 paper · 1 filter
Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart +2
In this extended abstract, we discuss the opportunity to formally verify that inference systems for probabilistic programming guarantee good performance. In particular, we focus on…