Nonparametric Involutive Markov Chain Monte Carlo
Not on the map. Why?
Abstract (arXiv)
A challenging problem in probabilistic programming is to develop inference algorithms that work for arbitrary programs in a universal probabilistic programming language (PPL). We present the nonparametric involutive Markov chain Monte Carlo (NP-iMCMC) algorithm as a method for constructing MCMC inference algorithms for nonparametric models expressible in universal PPLs. Building on the unifying involutive MCMC framework, and by providing a general procedure for driving state movement between dimensions, we show that NP-iMCMC can generalise numerous existing iMCMC algorithms to work on nonparametric models. We prove the correctness of the NP-iMCMC sampler. Our empirical study shows that the existing strengths of several iMCMC algorithms carry over to their nonparametric extensions. Applying our method to the recently proposed Nonparametric HMC, an instance of (Multiple Step) NP-iMCMC, we have constructed several nonparametric extensions (all of which new) that exhibit significant performance improvements.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 12 of its 39 references that are in the map. First posted on arXiv 2 Nov 2022.
Builds on
12 of 39 references.
References · 12
- 2015A New Approach to Probabilistic Programming Inferencecited by 22
- 2020Involutive MCMC: a Unifying Frameworkcited by 19
- 2015A Lambda-Calculus Foundation for Universal Probabilistic Programmingcited by 12
- 2016Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraintscited by 12
- 2019Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Supportcited by 11
- 2014Hamiltonian Monte Carlo Without Detailed Balancecited by 10
- 2017Denotational validation of higher-order Bayesian inferencecited by 9
- 2018A Domain Theory for Statistical Probabilistic Programmingcited by 6
- 2020Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywherecited by 6
- 2021Nonparametric Hamiltonian Monte Carlocited by 4
- 2017Measurable Cones and Stable, Measurable Functionscited by 2
- 2018Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursioncited by 1
Built on by
Citing papers per year: 2023: 1.
1 paper.