Theorem Proving on LeanDojo (random)
53.21Pass@1
LeanListener
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2025.03 | 53.21 | |
2025.03 | 52.76 | |
2025.03 | 51.2 | |
2023.06 | 51.2 | |
2025.03 | 50.9 | |
2025.03 | 50.85 | |
2025.03 | 50.25 | |
2025.03 | 47.6 | |
2023.06 | 47.6 | |
2025.03 | 35.99 | |
2025.03 | 33.18 | |
2025.03 | 31.27 | |
2025.03 | 29 | |
2023.06 | 29 | |
2025.03 | 23.8 | |
2023.06 | 23.8 |