Formal Theorem Proving on Library 10
10Proof Length
Gemini 2.5 Pro
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.04 | 10 | |
2026.04 | 10.4 | |
2026.04 | 12.5 | |
2026.04 | 13.8 | |
2026.04 | 17.3 | |
2026.04 | 17.3 |
Gemini 2.5 Pro
| Method | Links | |
|---|---|---|
2026.04 | 10 | |
2026.04 | 10.4 | |
2026.04 | 12.5 | |
2026.04 | 13.8 | |
2026.04 | 17.3 | |
2026.04 | 17.3 |