Theorem Proving on ChenNEQ
36Solved Problems
DreamProver
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.04 | 36 | 85.7 | - | |
2026.04 | 33 | 78.6 | - | |
2026.04 | 33 | 78.6 | - | |
2026.04 | 31 | 73.8 | - | |
2026.04 | 30 | 71.4 | - | |
2026.04 | 28 | 66.7 | - | |
2026.04 | 27 | 64.3 | - | |
2026.04 | 26 | 61.9 | - | |
2026.04 | 23 | 54.8 | - | |
2026.04 | 20 | 47.6 | - | |
2026.04 | 19 | 45.2 | - | |
2026.04 | 13 | 31 | - | |
2026.04 | 5 | 11.9 | - | |
2026.04 | - | - | 46.6 | |
2026.04 | - | - | 15.2 | |
2026.04 | - | - | 25.9 | |
2026.04 | - | - | 29.7 | |
2026.04 | - | - | 14.5 | |
2026.04 | - | - | 21.8 | |
2026.04 | - | - | 63.3 | |
2026.04 | - | - | 113.4 | |
2026.04 | - | - | 79.5 | |
2026.04 | - | - | 87.9 | |
2026.04 | - | - | 57.6 | |
2026.04 | - | - | 32.9 | |
2026.04 | - | - | 37.8 |