Theorem Proving on DeepMath
94FR (Fetch Rate)
Gemini-3-Flash
Updated 4d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.01 | 94 | 26 | 20 | |
2026.01 | 92 | 16 | 14 | |
2026.01 | 90 | 32 | 30 | |
2026.01 | 88 | 28 | 26 | |
2026.01 | 88 | 10 | 10 | |
2026.01 | 74 | 14 | 14 | |
| 70 | 10 | 8 | ||
2026.01 | 68 | 18 | 14 |
Gemini-3-Flash
| Method | Links | |||
|---|---|---|---|---|
2026.01 | 94 | 26 | 20 | |
2026.01 | 92 | 16 | 14 | |
2026.01 | 90 | 32 | 30 | |
2026.01 | 88 | 28 | 26 | |
2026.01 | 88 | 10 | 10 | |
2026.01 | 74 | 14 | 14 | |
| 70 | 10 | 8 | ||
2026.01 | 68 | 18 | 14 |