Theorem Retrieval on Lean Synthetic User Query cleaned (test)
57.3Recall@1Lean Finder
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 57.3 | 85.4 | 91.2 | 0.69 | |
| Lean Explore2025.10 | 26.3 | 51.3 | 60.1 | 0.37 |
Loading the SOTA2 catalog…
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 57.3 | 85.4 | 91.2 | 0.69 | |
| Lean Explore2025.10 | 26.3 | 51.3 | 60.1 | 0.37 |