List your company

Retrieval-Augmented Generation on TheoremQA

66.3AccuracyOurs
25.2235.88546.5557.215Feb 9, 2026

Evaluation results

MethodLinks
OursModel=Qwen3-8B, Retrieval Selection=top-12026.0266.3
ReFeedLModel=Qwen3-8B, Retrieval Selection=top-12026.0265.1
InstructRAGModel=Qwen3-8B, Retrieval Selection=top-12026.0264.4
DPRModel=Qwen3-8B, Retrieval Selection=top-12026.0263.6
BM25Model=Qwen3-8B, Retrieval Selection=top-12026.0262.8
ZeroModel=Qwen3-8B, Retrieval Selection=top-12026.0254.6
OursModel=Llama-3.1-8B, Retrieval Selection=top-12026.0240.8
ReFeedLModel=Llama-3.1-8B, Retrieval Selection=top-12026.0240
InstructRAGModel=Llama-3.1-8B, Retrieval Selection=top-12026.0239.2
DPRModel=Llama-3.1-8B, Retrieval Selection=top-12026.0238.4
BM25Model=Llama-3.1-8B, Retrieval Selection=top-12026.0237.6
ZeroModel=Llama-3.1-8B, Retrieval Selection=top-12026.0226.8