Retrieval on Augmented Proof State (test)
24.6R@1Lean Finder
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 24.6 | 56.8 | 67.9 | 0.4 | |
| Qwen3-Embedding-8B2025.10 | 8 | 26.1 | 34.7 | 0.17 |
Loading the SOTA2 catalog…
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 24.6 | 56.8 | 67.9 | 0.4 | |
| Qwen3-Embedding-8B2025.10 | 8 | 26.1 | 34.7 | 0.17 |