FIMO
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Mathematical Reasoning | FIMO | Score18.03 | 6 | |
| Automated Theorem Proving | FIMO Easy Mode | Solved Problems (Pass@32)4 | 5 | |
| Automated Theorem Proving | FIMO Hard Mode | Total Solved (Pass@32)3 | 2 |
Showing 3 of 3 rows