PSI: Exact Symbolic Inference for Probabilistic Programs
No abstract available.
Related papers
- Symbolic execution for randomized programs OOPSLA 2022
- SPPL: probabilistic programming with fast exact symbolic inference PLDI 2021
- λPSI: exact inference for higher-order probabilistic programs PLDI 2020
- Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming PLDI 2025
- Semi-symbolic inference for efficient streaming probabilistic programming OOPSLA 2022
- Exact Bayesian inference by symbolic disintegration POPL 2017
- Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures POPL 2024
- Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions OOPSLA 2024