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