Theorem Retrieval on Lean Augmented Statement
82.7R@1Lean Finder
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 82.7 | 97 | 97.7 | 0.89 | |
| Lean Search2025.10 | 59.2 | 81.9 | 85.5 | 0.69 | |
| GPT-4omatching strategy=stem match2025.10 | 48.2 | 52.6 | 54.1 | — | |
| GPT-4omatching strategy=full name match2025.10 | 39.7 | 42.9 | 44.1 | — |