Spaces:
Paused
Paused
| <html lang="en"> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1"> | |
| <title>Rex ICML 2026 Reproduction Evidence</title> | |
| <style> | |
| body { font-family: system-ui, sans-serif; margin: 2rem; line-height: 1.45; } | |
| main { max-width: 980px; } | |
| table { border-collapse: collapse; width: 100%; } | |
| th, td { border: 1px solid #bbb; padding: 0.5rem; vertical-align: top; } | |
| code { overflow-wrap: anywhere; } | |
| </style> | |
| </head> | |
| <body> | |
| <main> | |
| <h1>Rex Reproduction Evidence</h1> | |
| <p>Attempt 11b90d4c-61f2-4d93-949e-8d4618aca972. Paper 7pQIzVNctu. Upstream arxiv:2502.08834+github:zblasingame/Rex-solver@e39b57415d5608b18d7c5631595f1d38f06813b8.</p> | |
| <p><a href="evidence/results.json">results.json</a> <a href="evidence/manifest.json">manifest.json</a></p> | |
| <table> | |
| <thead><tr><th>#</th><th>Status</th><th>Claim SHA-256</th><th>Observation</th></tr></thead> | |
| <tbody> | |
| <tr><td>1</td><td>verified</td><td><code>06ee77e870a2c0447848e1f6159454496f17d144d02bc08fe44441f6b7ad332f</code></td><td>A NumPy implementation of the released Rex coupling inverts an eight-step ODE sweep to floating-point precision.</td></tr> | |
| <tr><td>2</td><td>verified</td><td><code>69eedf49ae10686f77613801c126d0825e1a2ea7198e4d9f31c945e00670b8e0</code></td><td>The pinned rk_tableaus.py exposes named methods with their orders; independent scalar integration recovers first-order Euler and fourth-order RK4 rates.</td></tr> | |
| <tr><td>3</td><td>verified</td><td><code>be5532066024dda765f5b69ee4444b86c339c6adc9beeedeb4c995b2e61d0f13</code></td><td>The pinned canonical wrapper selects RK4 for fixed-step mode, DOPRI5 for adaptive mode, and rejects adaptive use without embedded error coefficients.</td></tr> | |
| <tr><td>4</td><td>verified</td><td><code>311e73b22c834fd47107a52f11e90aa005067fa136e9b477108effe648d04cb2</code></td><td>Pinned source exposes explicit configuration paths for reversible DDIM, DPM-Solver-family exponential ODE updates, and stochastic first-order SDE updates.</td></tr> | |
| </tbody> | |
| </table> | |
| <p>Results digest: <code>2d71a81c8a1c3f0267b0cbb9d2a9507f30416fbb1b67cfbaedaecd6754d1f7f7</code></p> | |
| </main> | |
| </body> | |
| </html> | |