Mathematical Retrieval on mathlib Lean type to Lean signature (test)
65.26R@1
MathLeap-Octen-8B
Updated 1mo ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2026.06 | 65.26 | 84.29 | 88.22 | 73.61 | |
2026.06 | 65.01 | 83.83 | 87.72 | 73.24 | |
2026.06 | 60.4 | 81.99 | 86.6 | 69.81 | |
2026.06 | 58 | 80.41 | 85.08 | 67.75 | |
2026.06 | 57.96 | 81.9 | 86.82 | 68.33 | |
2026.06 | 51.99 | 77.28 | 83.13 | 62.9 | |
2026.06 | 48.36 | 72.91 | 79.04 | 58.97 | |
2026.06 | 45.43 | 68.88 | 75.45 | 55.48 | |
2026.06 | 8.81 | 15.9 | 19.02 | 11.84 |