Learning Probabilistic Programs

07/09/2014
by   Yura N Perov, et al.
0

We develop a technique for generalising from data in which models are samplers represented as program text. We establish encouraging empirical results that suggest that Markov chain Monte Carlo probabilistic programming inference techniques coupled with higher-order probabilistic programming languages are now sufficiently powerful to enable successful inference of this kind in nontrivial domains. We also introduce a new notion of probabilistic program compilation and show how the same machinery might be used in the future to compile probabilistic programs for efficient reusable predictive inference.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/18/2018

Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs

Probabilistic programming is a programming paradigm for expressing flexi...
research
01/27/2015

Particle Gibbs with Ancestor Sampling for Probabilistic Programs

Particle Markov chain Monte Carlo techniques rank among current state-of...
research
07/11/2019

Compositional Inference Metaprogramming with Convergence Guarantees

Inference metaprogramming enables effective probabilistic programming by...
research
09/27/2018

An Introduction to Probabilistic Programming

This document is designed to be a first-year graduate-level introduction...
research
04/01/2014

Venture: a higher-order probabilistic programming platform with programmable inference

We describe Venture, an interactive virtual machine for probabilistic pr...
research
10/29/2019

Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support

Universal probabilistic programming systems (PPSs) provide a powerful an...
research
05/31/2016

Quantifying the probable approximation error of probabilistic inference programs

This paper introduces a new technique for quantifying the approximation ...

Please sign up or login with your details

Forgot password? Click here to reset