Theorem Search on arXiv Theorem-level (val)
18.9P@1Qwen3 8B
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| Qwen3 8BReranking=Qwen3-Reranker-0.6B2026.02 | 18.9 | 43.2 | 45 | 27 | |
| Gemini 3 Pro2026.02 | 17.1 | 25.2 | 27 | 19.6 | |
| Qwen3 8BReranking=None2026.02 | 17.1 | 38.7 | 45 | 24.3 | |
| Chat-GPT 5.22026.02 | 11.7 | 18 | 19.8 | 13.9 | |
| Gemma 0.3BInput Format=Standard2026.02 | 8.1 | 18.9 | 25.2 | 11.8 | |
| Qwen3 0.6B2026.02 | 8.1 | 23.4 | 27 | 13.2 | |
| Gemma 0.3BInput Format=LaTeX2026.02 | 2.7 | 9 | 9 | 4.1 |