Automated Theorem Proving on miniF2F-test
Metric: pass@1024 (higher is better)
LeaderboardDataset
Loading chart...
Results
Submit a result| # | Model↕ | pass@1024▼ | Extra Data | Paper | Date↕ | Code |
|---|---|---|---|---|---|---|
| 1 | Kimina-Prover-Preview | 77.87 | Yes | Kimina-Prover Preview: Towards Large Formal Reas... | 2025-04-15 | Code |
- 77.87pass@1024· Extra Data· 2025-04-15