POPL 2020 (series) / LAFI 2020 (series) / LAFI 2020: Languages for Inference (formerly PPS) /
Monte Carlo Semantic Differencing of Probabilistic Programs
This talk introduces a Monte Carlo dynamic analysis of two probabilistic programs. The analysis estimates an upper bound on the difference in their output distributions for fixed inputs, as measured by Kullback-Leibler (KL) divergence. The analysis, Bridged Auxiliary Inference Divergence Estimator (BRAIDE), is a generalization of the Auxiliary Inference Divergence Estimator (AIDE). Unlike AIDE, BRAIDE analysis can be made more precise and efficient using knowledge of how the traces of the two programs relate, resulting in tighter bounds with less computation. We give an example of BRAIDE applied to two Gen probabilistic programs.
Tue 21 JanDisplayed time zone: Saskatchewan, Central America change
Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change
14:00 - 15:05 | |||
14:00 30mTalk | Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support LAFI Yuan Zhou University of Oxford, Hongseok Yang KAIST, Yee Whye Teh University of Oxford, Tom Rainforth Department of Statistics, University of Oxford | ||
14:32 15mTalk | MetaPPL: Inference Algorithms as First-Class Generative Models LAFI Alexander K. Lew Massachusetts Institute of Technology, USA, Benjamin Sherman Massachusetts Institute of Technology, USA, Marco Cusumano-Towner MIT-CSAIL, Austin Garrett MIT, Ben Zinberg MIT, Vikash K. Mansinghka MIT, Michael Carbin Massachusetts Institute of Technology File Attached | ||
14:49 16mTalk | Monte Carlo Semantic Differencing of Probabilistic Programs LAFI | ||