Theorem Retrieval on Lean Synthetic User Query cleaned (test)
57.3Recall@1
Lean Finder
Updated 4d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 57.3 | 85.4 | 91.2 | 0.69 | |
2025.10 | 26.3 | 51.3 | 60.1 | 0.37 |
Lean Finder
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 57.3 | 85.4 | 91.2 | 0.69 | |
2025.10 | 26.3 | 51.3 | 60.1 | 0.37 |