Theorem Retrieval on Lean Informalized Statement cleaned (test)
65.7R@1Lean Finder
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 65.7 | 89 | 93.2 | 0.76 | |
| Lean Explore2025.10 | 35 | 61.8 | 68 | 0.46 |
Loading the SOTA2 catalog…
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 65.7 | 89 | 93.2 | 0.76 | |
| Lean Explore2025.10 | 35 | 61.8 | 68 | 0.46 |