Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support
Not on the map. Why?
Abstract (arXiv)
The posterior in probabilistic programs with stochastic support decomposes as a weighted sum of the local posterior distributions associated with each possible program path. We show that making predictions with this full posterior implicitly performs a Bayesian model averaging (BMA) over paths. This is potentially problematic, as BMA weights can be unstable due to model misspecification or inference approximations, leading to sub-optimal predictions in turn. To remedy this issue, we propose alternative mechanisms for path weighting: one based on stacking and one based on ideas from PAC-Bayes. We show how both can be implemented as a cheap post-processing step on top of existing inference engines. In our experiments, we find them to be more robust and lead to better predictions compared to the default BMA weights.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 31 of its 96 references that are in the map. First posted on arXiv 23 Oct 2023.
Builds on
31 of 96 references.
References · 31
- 2015Importance Weighted Autoencoderscited by 456
- 2018Pyro: Deep Universal Probabilistic Programmingcited by 380
- 2013Black Box Variational Inferencecited by 319
- 2021User-friendly introduction to PAC-Bayes boundscited by 239
- 2017A Conceptual Introduction to Hamiltonian Monte Carlocited by 209
- 2015Practical Bayesian model evaluation using leave-one-out cross-validation and WAICcited by 110
- 2018An Introduction to Probabilistic Programmingcited by 63
- 2015Pareto Smoothed Importance Samplingcited by 42
- 2017Using stacking to average Bayesian predictive distributionscited by 39
- 2013Automated Variational Inference in Probabilistic Programmingcited by 34
- 2016Inference Compilation and Universal Probabilistic Programmingcited by 32
- 2017Deep Probabilistic Programmingcited by 24
19 more
- 2015A New Approach to Probabilistic Programming Inferencecited by 22
- 2014Venture: a higher-order probabilistic programming platform with programmable inferencecited by 20
- 2020Automatic Differentiation Variational Inference with Mixturescited by 19
- 2015Layered Adaptive Importance Samplingcited by 18
- 2019Etalumis: Bringing Probabilistic Programming to Scientific Simulators at Scalecited by 18
- 2016Design and Implementation of Probabilistic Programming Language Anglicancited by 15
- 2021Bayesian hierarchical stacking: Some models are (somewhere) usefulcited by 14
- 2015A Lambda-Calculus Foundation for Universal Probabilistic Programmingcited by 12
- 2016Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraintscited by 12
- 2022ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programscited by 12
- 2018Automated learning with a probabilistic programming language: Birchcited by 11
- 2019Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Supportcited by 11
- 2020Holes in Bayesian Statisticscited by 7
- 2020Reproducible Model Selection Using Bagged Posteriorscited by 7
- 2016Interacting Particle Markov Chain Monte Carlocited by 6
- 2016Composing inference algorithms as program transformationscited by 4
- 2019Attention for Inference Compilationcited by 3
- 2020Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysiscited by 1
- 2022Higher-Order Generalization Bounds: Learning Deep Probabilistic Programs via PAC-Bayes Objectivescited by 1
Built on by
Not cited yet.