3 papers
cs.PL2023
Density-Based Semantics for Reactive Probabilistic Programming
Guillaume Baudart, Louis Mandel, Christine Tasson
Synchronous languages are now a standard industry tool for critical embedded systems. Designers write high-level specifications by composing streams of values using block diagrams.…
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…
cs.PL2022
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming
Eric Atkinson, Charles Yuan, Guillaume Baudart +2
Efficient inference is often possible in a streaming context using Rao-Blackwellized particle filters (RBPFs), which exactly solve inference problems when possible and fall back on…