Formal Mathematics Retrieval on User Study Real-world Queries
139R@1
Lean Finder
Updated 1mo ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2025.10 | 139 | 56 | 36 | 81.6 | 0.67 | |
2025.10 | 71 | 46 | 36 | 54.1 | 0.4 | |
2025.10 | 70 | 51 | 40 | 56.9 | 0.41 |
Lean Finder
| Method | Links | |||||
|---|---|---|---|---|---|---|
2025.10 | 139 | 56 | 36 | 81.6 | 0.67 | |
2025.10 | 71 | 46 | 36 | 54.1 | 0.4 | |
2025.10 | 70 | 51 | 40 | 56.9 | 0.41 |