Retrieval on Lean Retrieval Augmented Statement modality (test)
0.827R@1Lean Finder
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| Lean Finder2025.10 | 0.827 | 0.97 | 0.977 | 0.89 | |
| Qwen3-Embedding-8Bparameters=8B2025.10 | 0.762 | 0.934 | 0.951 | 0.83 | |
| Lean Searchaugmentation mode=enabled2025.10 | 0.454 | 0.86 | 0.93 | 0.58 |