Accelerating Convergence of Score-Based Diffusion Models, Provably | Synapse