Coarse-to-Fine Sequential Monte Carlo for Probabilistic Programs | Read Paper on Bytez