| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| PutnamBench 672 problems | Mathesis-7B | C@163 | 8 | 3d ago | |
| Gaokao-Formal 495 problems | Kimina-7B | Correctness @184.2 | 8 | 3d ago | |
| Total long-form Combined Corpora (aggregate) | M2F | Blocks1,043 | 1 | 1mo ago | |
| Paper long-form | M2F | Blocks67 | 1 | 1mo ago | |
| Convex Analysis long-form Sec. 1–15 Rockafellar | M2F | Blocks560 | 1 | 1mo ago | |
| Real Analysis long-form Lebl | M2F | Blocks416 | 1 | 1mo ago |
