Inference Compilation and Universal Probabilistic Programming

10/31/2016
by   Tuan Anh Le, et al.
0

We introduce a method for using deep neural networks to amortize the cost of inference in models from the family induced by universal probabilistic programming languages, establishing a framework that combines the strengths of probabilistic programming and deep learning methods. We call what we do "compilation of inference" because our method transforms a denotational specification of an inference problem in the form of a probabilistic program written in a universal programming language into a trained neural network denoted in a neural network specification language. When at test time this neural network is fed observational data and executed, it performs approximate inference in the original model specified by the probabilistic program. Our training objective and learning procedure are designed to allow the trained neural network to be used as a proposal distribution in a sequential importance sampling inference engine. We illustrate our method on mixture models and Captcha solving and show significant speedups in the efficiency of inference.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/16/2019

Universal Marginaliser for Deep Amortised Inference for Probabilistic Programs

Probabilistic programming languages (PPLs) are powerful modelling tools ...
research
05/28/2018

DeepProbLog: Neural Probabilistic Logic Programming

We introduce DeepProbLog, a probabilistic logic programming language tha...
research
05/09/2012

Monolingual Probabilistic Programming Using Generalized Coroutines

Probabilistic programming languages and modeling toolkits are two modula...
research
12/01/2019

A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors

Even as deep neural networks have become very effective for tasks in vis...
research
06/09/2021

Expectation Programming

Building on ideas from probabilistic programming, we introduce the conce...
research
05/29/2017

Auto-Encoding Sequential Monte Carlo

We introduce AESMC: a method for using deep neural networks for simultan...
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