Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
A streaming probabilistic program receives a stream of observations and produces a stream of distributions that are conditioned on these observations.
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 sampling approximations when necessary.
While RBPFs can be implemented by hand to provide efficient inference, the goal of streaming probabilistic programming is to automatically generate such efficient inference implementations given input probabilistic programs.
In this work, we propose semi-symbolic inference, a technique for executing probabilistic programs using a runtime inference system that automatically implements Rao-Blackwellized particle filtering.
To perform exact and approximate inference together, the semi-symbolic inference system manipulates symbolic distributions to perform exact inference when possible and falls back on approximate sampling when necessary.
This approach enables the system to implement the same RBPF a developer would write by hand.
To ensure this, we identify closed families of distributions – such as linear-Gaussian and finite discrete models – on which the inference system guarantees exact inference.
We have implemented the runtime inference system in the ProbZelus streaming probabilistic programming language.
Despite an average $1.6\times$ slowdown compared to the state of the art on existing benchmarks, our evaluation shows that speedups of $3\times$-$87\times$ are obtainable on a new set of challenging benchmarks we have designed to exploit closed families.
Fri 9 DecDisplayed time zone: Auckland, Wellington change
15:30 - 17:00
ProbabilisticOOPSLA at Seminar Room G007
Chair(s): Benjamin Lucien Kaminski Saarland University and University College London
|Semi-symbolic Inference for Efficient Streaming Probabilistic Programming|
Eric Atkinson Massachusetts Institute of Technology, Charles Yuan Massachusetts Institute of Technology, Guillaume Baudart Inria, Louis Mandel IBM Research, Michael Carbin Massachusetts Institute of TechnologyDOI
|Symbolic Execution for Randomized Programs|
Zachary Susag Cornell University, Sumit Lahiri IIT Kanpur, Justin Hsu Cornell University, Subhajit Roy IIT KanpurDOI
|This Is the Moment for Probabilistic Loops|
Marcel Moosbrugger TU Wien, Miroslav Stankovič TU Wien, Ezio Bartocci TU Wien, Laura Kovács TU WienDOI