Theorem Retrieval on Lean Augmented Statement
82.7R@1
Lean Finder
Updated 1mo ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 82.7 | 97 | 97.7 | 0.89 | |
2025.10 | 59.2 | 81.9 | 85.5 | 0.69 | |
2025.10 | 48.2 | 52.6 | 54.1 | - | |
2025.10 | 39.7 | 42.9 | 44.1 | - |
Lean Finder
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 82.7 | 97 | 97.7 | 0.89 | |
2025.10 | 59.2 | 81.9 | 85.5 | 0.69 | |
2025.10 | 48.2 | 52.6 | 54.1 | - | |
2025.10 | 39.7 | 42.9 | 44.1 | - |