Formal Theorem Proving on large-scale benchmark 2,000 problems (test)
0.813FR Rate
TheoremForge
Updated 4d ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.01 | 0.813 | 0.1445 | 0.126 | 24,056 | 0.4806 | |
2026.01 | 0.7225 | 0.1255 | 0.086 | 13,780 | - |
TheoremForge
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.01 | 0.813 | 0.1445 | 0.126 | 24,056 | 0.4806 | |
2026.01 | 0.7225 | 0.1255 | 0.086 | 13,780 | - |