Theorem Retrieval on Lean Informalized Statement cleaned (test)
65.7R@1
Lean Finder
Updated 4d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 65.7 | 89 | 93.2 | 0.76 | |
2025.10 | 35 | 61.8 | 68 | 0.46 |
Lean Finder
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 65.7 | 89 | 93.2 | 0.76 | |
2025.10 | 35 | 61.8 | 68 | 0.46 |