List your company

Theorem Question Answering on TheoremQA (test)

87.4AccuracyDS-R1-Distill-Qwen-14B + Meta-Reasoner
37.542450.486263.4376.3738Feb 27, 2025

Evaluation results

MethodLinks
DS-R1-Distill-Qwen-14B + Meta-ReasonerBackbone=DS-R1-Distill-Qwen-14B, Reasoning Strategy=Meta-Reasoner2025.0287.4
Gemini-Exp-1206 + Meta-ReasonerBackbone=Gemini-Exp-1206, Reasoning Strategy=Meta-Reasoner2025.0286.32
GPT-4o-mini + Meta-ReasonerBackbone=GPT-4o-mini, Reasoning Strategy=Meta-Reasoner2025.0284.13
Qwen3-8B + Meta-ReasonerBackbone=Qwen3-8B, Reasoning Strategy=Meta-Reasoner2025.0282.93
GPT-4 Turbo + MACMBackbone=GPT-4 Turbo, Reasoning Strategy=MACM2025.0279.41
GPT-4o-mini + ReflexionBackbone=GPT-4o-mini, Reasoning Strategy=Reflexion2025.0274.32
Gemini-Exp-1206 + CoTBackbone=Gemini-Exp-1206, Reasoning Strategy=CoT2025.0243.12
GPT-4o-mini + CoTBackbone=GPT-4o-mini, Reasoning Strategy=CoT2025.0239.46