Sound Abstraction and Decomposition of Probabilistic Programs

Steven Holtzen, Guy Van den Broeck, Todd D. Millstein

Abstract: Probabilistic programming languages are a flexible tool for specifying statistical models, but this flexibility comes at the cost of efficient analysis. It is currently difficult to compactly repre...