Mathematical Proofs on miniF2F-test
Metric: ITP (higher is better)
LeaderboardDataset
Results
Submit a result| # | Model↕ | ITP▼ | Extra Data | Paper | Date↕ | Code |
|---|
No results available for this benchmark.
Metric: ITP (higher is better)
| # | Model↕ | ITP▼ | Extra Data | Paper | Date↕ | Code |
|---|
No results available for this benchmark.