Theorem Proving on CombiBench Combinatorics
27Solved Problems
DreamProver
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.04 | 27 | 62.8 | |
2026.04 | 26 | 60.5 | |
2026.04 | 25 | 58.1 | |
2026.04 | 18 | 41.9 | |
2026.04 | 17 | 39.5 | |
2026.04 | 17 | 39.5 | |
2026.04 | 13 | 30.2 | |
2026.04 | 12 | 27.9 | |
2026.04 | 12 | 27.9 | |
2026.04 | 8 | 18.6 | |
2026.04 | 7 | 16.3 | |
2026.04 | 7 | 16.3 | |
2026.04 | 2 | 4.7 |