| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| FormalPhysics | FormalPhysics | FV100 | 11 | 1mo ago | |
| Herald-Proof | Herald-Proof | Objects Score6.57 | 1 | 1mo ago | |
| Herald-Statement | Herald-Statement | Objects Count4.92 | 1 | 1mo ago | |
| FormalMATH | FormalMATH | Objects4.47 | 1 | 1mo ago | |
| Lean Workbook | Lean Workbook | Objects Count3.67 | 1 | 1mo ago | |
| ProofNet | ProofNet | Objects3.67 | 1 | 1mo ago | |
| F2F mini | miniF2F | Objects Score3.14 | 1 | 1mo ago |
