Formal Theorem Proving on Ineq-Comp (test)
66.7Ineq-Comp (Seed)
DeepSeek-Prover-V2-7B
Updated 12d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.05 | 66.7 | 37.3 | 55.9 | |
2026.05 | 64.8 | 34.8 | 53.7 | |
| 64.7 | 45.5 | 70.3 | ||
| 63.4 | 40.8 | 64.4 | ||
2026.05 | 52.2 | 34 | 65.2 | |
2026.05 | 46.6 | 17 | 36.5 | |
2026.05 | 44 | 15.3 | 34.8 | |
2026.05 | 42.3 | 14.5 | 34.3 | |
2026.05 | 40.5 | 12.3 | 30.4 |