Skip to content
conftrace_

program decomposition

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

sound abstraction (1) graphical model (1) probabilistic programming (1) approximate inference (1)

Papers

Sound Abstraction and Decomposition of Probabilistic Programs ICML 2018