Theorem Retrieval on Lean Synthetic User Query (Sec. 3.1)
54.4Recall@1
Lean Finder
Updated 4d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 54.4 | 84.4 | 91.4 | 0.68 | |
2025.10 | 47.1 | 77.7 | 83.7 | 0.6 | |
2025.10 | 17.8 | 27.4 | 30.5 | - | |
2025.10 | 13.6 | 21.5 | 23.3 | - |
Lean Finder
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 54.4 | 84.4 | 91.4 | 0.68 | |
2025.10 | 47.1 | 77.7 | 83.7 | 0.6 | |
2025.10 | 17.8 | 27.4 | 30.5 | - | |
2025.10 | 13.6 | 21.5 | 23.3 | - |