Deep Amortized Inference for Probabilistic Programs

10/18/2016
by   Daniel Ritchie, et al.
0

Probabilistic programming languages (PPLs) are a powerful modeling tool, able to represent any computable probability distribution. Unfortunately, probabilistic program inference is often intractable, and existing PPLs mostly rely on expensive, approximate sampling-based methods. To alleviate this problem, one could try to learn from past inferences, so that future inferences run faster. This strategy is known as amortized inference; it has recently been applied to Bayesian networks and deep generative models. This paper proposes a system for amortized inference in PPLs. In our system, amortization comes in the form of a parameterized guide program. Guide programs have similar structure to the original program, but can have richer data flow, including neural network components. These networks can be optimized so that the guide approximately samples from the posterior distribution defined by the original program. We present a flexible interface for defining guide programs and a stochastic gradient-based scheme for optimizing guide parameters, as well as some preliminary results on automatically deriving guide programs. We explore in detail the common machine learning pattern in which a 'local' model is specified by 'global' random values and used to generate independent observed data points; this gives rise to amortized local inference supporting global model learning.

READ FULL TEXT

page 14

page 15

page 17

research
06/04/2010

Variational Program Inference

We introduce a framework for representing a variety of interesting probl...
research
05/19/2022

Foundation Posteriors for Approximate Probabilistic Inference

Probabilistic programs provide an expressive representation language for...
research
01/11/2018

Using probabilistic programs as proposals

Monte Carlo inference has asymptotic guarantees, but can be slow when us...
research
07/20/2019

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Probabilistic programming is the idea of writing models from statistics ...
research
10/16/2019

Universal Marginaliser for Deep Amortised Inference for Probabilistic Programs

Probabilistic programming languages (PPLs) are powerful modelling tools ...
research
05/31/2016

Quantifying the probable approximation error of probabilistic inference programs

This paper introduces a new technique for quantifying the approximation ...
research
10/22/2020

Conditional independence by typing

A central goal of probabilistic programming languages (PPLs) is to separ...

Please sign up or login with your details

Forgot password? Click here to reset