Rex: A Family of Reversible Exponential (Stochastic) Runge-Kutta Solvers
About
Deep generative models based on neural differential equations have become state-of-the-art for many generation tasks. These models rely on ODE/SDE solvers that integrate from a prior distribution to the data distribution; in many applications it is also highly desirable to integrate in the inverse direction. Standard solvers, however, accumulate discretization errors that prohibit exact inversion, an inaccuracy that is unacceptable in precision-critical applications. Existing inversion methods suffer from poor stability and low order of convergence, and are strictly limited to the ODE setting. In this work, we propose Rex, a family of reversible exponential (stochastic) Runge-Kutta solvers obtained by applying Lawson methods to convert any explicit (stochastic) Runge-Kutta scheme into an algebraically reversible one for both diffusion ODEs and SDEs. Beyond a rigorous theoretical analysis -- establishing arbitrary-order convergence and a non-zero region of linear stability -- we empirically demonstrate that Rex achieves near-machine-precision reconstruction and improves Boltzmann sampling with flow models as well as image generation and editing with diffusion models.
Related benchmarks
| Task | Dataset | Result | Rank | |
|---|---|---|---|---|
| Unconditional Image Generation | CelebA-HQ 256x256 | Fréchet Distance (FD)391.9 | 37 | |
| Text-to-Image Generation | MS-COCO 5k samples Stable Diffusion v1.5 (test) | CLIP Score31.69 | 34 | |
| Image Editing | PIE-Bench Large Edits (random images (140 images)) | CLIP Score22.77 | 20 | |
| Molecular Sampling | Tri-alanine (AL3) 10^4 samples (test) | E-W20.495 | 12 | |
| Image Editing | PIE-Bench | LPIPS60.31 | 10 | |
| Image Editing | PIE-Bench Small Edits | PSNR27.26 | 10 | |
| Image Editing | pix2pix (test) | Image Reward-0.547 | 5 |