Measuring the non-asymptotic convergence of sequential Monte Carlo samplers using probabilistic programming | Read Paper on Bytez