Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs | Read Paper on Bytez