Theorem Retrieval on Lean Informalized Statement
64.2R@1Lean Finder
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 64.2 | 88.9 | 93.3 | 0.75 | |
| Lean Search2025.10 | 49.2 | 76.5 | 82.5 | 0.61 | |
| GPT-4omatching strategy=stem match2025.10 | 21.1 | 28.4 | 30 | — | |
| GPT-4omatching strategy=full name match2025.10 | 14.8 | 20.9 | 22.6 | — |