Theorem Proving on Small-scale benchmark Overall
33VR
Gemini-3-Pro
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.01 | 33 | |
2026.01 | 29 | |
2026.01 | 23 | |
2026.01 | 18 | |
2026.01 | 16 | |
2026.01 | 15 | |
2026.01 | 14 | |
| 13 |
Gemini-3-Pro
| Method | Links | |
|---|---|---|
2026.01 | 33 | |
2026.01 | 29 | |
2026.01 | 23 | |
2026.01 | 18 | |
2026.01 | 16 | |
2026.01 | 15 | |
2026.01 | 14 | |
| 13 |