Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs

Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart +3

We present a novel sampling framework for probabilistic programs. The framework combines two recent ideas -- \emph{control-data separation} and \emph{logical condition propagation}…