Output-Sensitive Adaptive Metropolis-Hastings for Probabilistic Programs

01/22/2015
by   David Tolpin, et al.
0

We introduce an adaptive output-sensitive Metropolis-Hastings algorithm for probabilistic models expressed as programs, Adaptive Lightweight Metropolis-Hastings (AdLMH). The algorithm extends Lightweight Metropolis-Hastings (LMH) by adjusting the probabilities of proposing random variables for modification to improve convergence of the program output. We show that AdLMH converges to the correct equilibrium distribution and compare convergence of AdLMH to that of LMH on several test problems to highlight different aspects of the adaptation scheme. We observe consistent improvement in convergence on the test problems.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/06/2021

Optimizing Probabilities in Probabilistic Logic Programs

Probabilistic Logic Programming is an effective formalism for encoding p...
research
04/26/2015

Maximum a Posteriori Estimation by Search in Probabilistic Programs

We introduce an approximate search algorithm for fast maximum a posterio...
research
08/11/2020

Upper approximating probabilities of convergence in probabilistic coherence spaces

We develop a theory of probabilistic coherence spaces equipped with an a...
research
09/09/2015

Coarse-to-Fine Sequential Monte Carlo for Probabilistic Programs

Many practical techniques for probabilistic inference require a sequence...
research
04/14/2022

This is the Moment for Probabilistic Loops

We present a novel static analysis technique to derive higher moments fo...
research
01/20/2020

Probabilistic Output Analyses for Deterministic Programs — Reusing Existing Non-probabilistic Analyses

We consider reusing established non-probabilistic output analyses (eithe...

Please sign up or login with your details

Forgot password? Click here to reset