Asymptotically exact inference in differentiable generative models