Retrieval on Lean Informalized Statement modality (test)
64.2R@1Lean Finder
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 64.2 | 88.9 | 93.3 | 0.75 | |
| Qwen3-Embedding-8Bparameters=8B2025.10 | 57.7 | 82.5 | 89.2 | 0.69 | |
| Lean Searchaugmentation mode=enabled2025.10 | 31.9 | 77.4 | 84.8 | 0.44 |