Retrieval on Raw Proof State (test)
8.3R@1Lean Finder
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 8.3 | 30.1 | 40 | 0.19 | |
| Qwen3-Embedding-8B2025.10 | 5.4 | 21.1 | 27.4 | 0.13 |
Loading the SOTA2 catalog…
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 8.3 | 30.1 | 40 | 0.19 | |
| Qwen3-Embedding-8B2025.10 | 5.4 | 21.1 | 27.4 | 0.13 |