Formal Theorem Proving on large-scale benchmark 2,000 problems (test)
0.813FR RateTheoremForge
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| TheoremForgeBackbone=Gemini-3-Flash2026.01 | 0.813 | 0.1445 | 0.126 | 24,056 | 0.4806 | |
| Baseline2026.01 | 0.7225 | 0.1255 | 0.086 | 13,780 | — |
Loading the SOTA2 catalog…