Theorem Proving on LeanDojo (novel premises)
41.11Pass@1
LeanListener
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2025.03 | 41.11 | |
2025.03 | 40.86 | |
2025.03 | 26.3 | |
2023.06 | 26.3 | |
2025.03 | 23.2 | |
2023.06 | 23.2 | |
2023.06 | 19.9 | |
2023.06 | 16.2 | |
2025.03 | 7.4 | |
2023.06 | 7.4 | |
2025.03 | 5.3 | |
2023.06 | 5.3 |