Butcher textbook
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Formal Proof Completion | Butcher textbook Numerical Methods for Ordinary Differential Equations | Sorries0 | 3 |
Showing 1 of 1 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Formal Proof Completion | Butcher textbook Numerical Methods for Ordinary Differential Equations | Sorries0 | 3 |