Theorem Retrieval on Raw Proof State
8.3Recall@1
Lean Finder
Updated 4d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 8.3 | 30.1 | 40 | 0.19 | |
2025.10 | 7.1 | 26.2 | 34.3 | 0.16 | |
2025.10 | 6.4 | 11.5 | 13.6 | - | |
2025.10 | 4.5 | 8.5 | 9.9 | - | |
2025.10 | 3.3 | 23.1 | 32.1 | 0.13 |
Lean Finder
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 8.3 | 30.1 | 40 | 0.19 | |
2025.10 | 7.1 | 26.2 | 34.3 | 0.16 | |
2025.10 | 6.4 | 11.5 | 13.6 | - | |
2025.10 | 4.5 | 8.5 | 9.9 | - | |
2025.10 | 3.3 | 23.1 | 32.1 | 0.13 |