Theorem Proving on MO-INT
17Solved Problems
DreamProver
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.04 | 17 | 85 | |
2026.04 | 16 | 80 | |
2026.04 | 15 | 75 | |
2026.04 | 14 | 70 | |
2026.04 | 13 | 65 | |
2026.04 | 12 | 60 | |
2026.04 | 12 | 60 | |
2026.04 | 10 | 50 | |
2026.04 | 8 | 40 | |
2026.04 | 6 | 30 | |
2026.04 | 4 | 20 | |
2026.04 | 3 | 15 | |
2026.04 | 1 | 5 |