Fundamental Theory and Parallel Inference for Probabilistic Programming (10.3.1 Integrated Intelligence)