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

Open in new window