Nonparametric Involutive Markov Chain Monte Carlo
Carol Mak, Fabian Zaiser, Luke Ong

TL;DR
This paper introduces NP-iMCMC, a novel nonparametric MCMC algorithm for universal probabilistic programming languages, extending existing methods and demonstrating improved performance in nonparametric models.
Contribution
The paper develops NP-iMCMC, a general framework for nonparametric inference in universal PPLs, unifying and extending existing involutive MCMC algorithms.
Findings
NP-iMCMC generalizes existing iMCMC algorithms to nonparametric models.
Empirical results show significant performance improvements with NP-iMCMC extensions.
Constructed nonparametric extensions of Nonparametric HMC demonstrating enhanced efficiency.
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBayesian Modeling and Causal Inference · Machine Learning and Algorithms · Formal Methods in Verification
