Theorem Retrieval on Lean Augmented Statement cleaned (test)
86.8R@1Lean Finder
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 86.8 | 96.7 | 98 | 0.91 | |
| Lean Explore2025.10 | 85.8 | 93.6 | 95.2 | 0.89 |
Loading the SOTA2 catalog…
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 86.8 | 96.7 | 98 | 0.91 | |
| Lean Explore2025.10 | 85.8 | 93.6 | 95.2 | 0.89 |