Tag: SMC with probabilistic program proposals (SMCP3)