2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 2 cited
Inference Plans for Hybrid Particle Filtering
Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart +2
Advanced probabilistic programming languages (PPLs) using hybrid particle filtering combine symbolic exact inference and Monte Carlo methods to improve inference performance. These…
cs.PL2023
Verifying Performance Properties of Probabilistic Inference
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…