Theorem Retrieval on Lean Informalized Statement
64.2R@1
Lean Finder
Updated 4d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 64.2 | 88.9 | 93.3 | 0.75 | |
2025.10 | 49.2 | 76.5 | 82.5 | 0.61 | |
2025.10 | 21.1 | 28.4 | 30 | - | |
2025.10 | 14.8 | 20.9 | 22.6 | - |
Lean Finder
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 64.2 | 88.9 | 93.3 | 0.75 | |
2025.10 | 49.2 | 76.5 | 82.5 | 0.61 | |
2025.10 | 21.1 | 28.4 | 30 | - | |
2025.10 | 14.8 | 20.9 | 22.6 | - |