Automated Theorem Proving on FormalML-Hard (Machine Learning Theory) 1.0 (test)
0.4Output Tokens (k)
DreamProver
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.04 | 0.4 | |
2026.04 | 0.36 | |
2026.04 | 0.29 | |
2026.04 | 0.28 | |
2026.04 | 0.23 | |
2026.04 | 0.1 |
DreamProver
| Method | Links | |
|---|---|---|
2026.04 | 0.4 | |
2026.04 | 0.36 | |
2026.04 | 0.29 | |
2026.04 | 0.28 | |
2026.04 | 0.23 | |
2026.04 | 0.1 |