Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tue 15 Jan 2019 11:30 - 12:00 at Sala VI - B Chair(s): Steven Holtzen

Probabilistic programs with dynamic computation graphs can define measures over sample spaces with unbounded dimensionality. Owing to the generality of this model class, inference often relies on “black-box” Monte Carlo methods that are generally not able to exploit optimizations based on conditional independence and exchangeability, which have historically been the cornerstones of efficient inference. We here seek to develop a “middle ground” between probabilistic models with fully dynamic and fully static computation graphs. To this end, we introduce a combinator library for the Probabilistic Torch framework.

Combinators are functions that accept probabilistic programs and return probabilistic programs. We define combinators for both model and inference composition. Model combinators alter the measure that a program denotes. Inference combinators leave the measure invariant, but alter the evaluation strategy. Because combinators can be applied before a program is evaluated on data, they allow us to define a static computation graph at a coarsened level of representation. In this graph, individual nodes correspond to primitive model components, which may themselves have dynamic computation graphs, and are treated as black boxes for purposes of performing inference.

Tue 15 Jan

11:00 - 12:30: LAFI (né PPS) - B at Sala VI
Chair(s): Steven HoltzenUniversity of California, Los Angeles
lafi-201911:00 - 11:30
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France, Naohiko HoshinoKyoto University
lafi-201911:30 - 12:00
Eli SenneshNortheastern University, Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Hao WuNortheastern University, Jan-Willem van de MeentNortheastern University
File Attached
lafi-201912:00 - 12:30
Media Attached