Theorem Retrieval on Augmented Proof State
0.246R@1
Lean Finder
Updated 4d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2025.10 | 0.246 | 0.568 | 0.679 | 0.4 | |
2025.10 | 0.101 | 0.173 | 0.197 | - | |
2025.10 | 0.08 | 0.29 | 0.392 | 0.18 | |
2025.10 | 0.074 | 0.133 | 0.15 | - | |
2025.10 | 0.0499 | 0.277 | 0.396 | 0.16 |