Informal description to Lean signature retrieval on mathlib
67.4R@1
MathLeap-Qwen-8B
Updated 1mo ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2026.06 | 67.4 | 88.75 | 91.96 | 76.64 | |
2026.06 | 67.24 | 87.82 | 91.51 | 76.28 | |
2026.06 | 57.73 | 81.16 | 85.94 | 67.98 | |
2026.06 | 56.08 | 79.47 | 84.27 | 66.28 | |
2026.06 | 54.64 | 77.95 | 82.9 | 64.79 | |
2026.06 | 54.16 | 78.79 | 84.04 | 64.76 | |
2026.06 | 49.14 | 75.22 | 81.18 | 60.37 | |
2026.06 | 47.56 | 72.83 | 79.07 | 58.31 | |
2026.06 | 21.89 | 39.42 | 46.2 | 29.47 |