Lean Signature to Lean Type Retrieval on mathlib v4.16.0
73.34R@1
MathLeap-Octen-8B
Updated 1mo ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2026.06 | 73.34 | 89.68 | 92.59 | 80.56 | |
2026.06 | 72.46 | 89.01 | 92.06 | 79.82 | |
2026.06 | 70.43 | 90.41 | 93.63 | 79.22 | |
2026.06 | 70.04 | 89.27 | 92.31 | 78.45 | |
2026.06 | 69.08 | 89.1 | 92.5 | 77.88 | |
2026.06 | 67.16 | 87.33 | 90.83 | 76.03 | |
2026.06 | 64.41 | 86.24 | 90.19 | 73.98 | |
2026.06 | 61.74 | 84.45 | 88.69 | 71.52 | |
2026.06 | 16.57 | 28.67 | 33.59 | 21.79 |