Theorem Retrieval on Lean Augmented Statement cleaned (test)
86.8R@1
Lean Finder
Updated 1mo ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 86.8 | 96.7 | 98 | 0.91 | |
2025.10 | 85.8 | 93.6 | 95.2 | 0.89 |
Lean Finder
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 86.8 | 96.7 | 98 | 0.91 | |
2025.10 | 85.8 | 93.6 | 95.2 | 0.89 |