List your company

Theorem-based Question Answering on TheoremQA

86.32AccuracyMeta-reasoner
44.262455.181266.177.0188Feb 27, 2025Apr 21, 2025Jun 14, 2025Aug 7, 2025Sep 29, 2025Nov 22, 2025Jan 15, 2026

Evaluation results

MethodLinks
Meta-reasonerModel=gemini-exp-12062025.0286.32
HiAR-ICLModel=gemini-exp-12062025.0284.41
Meta-reasonerModel=gpt-4o-mini2025.0284.13
HiAR-ICLModel=gpt-4o-mini2025.0283.48
Evo-PromptModel=gpt-4o-mini2025.0281.28
Evo-PromptModel=gemini-exp-12062025.0280.32
Ministral-14B-Instruct-25122026.0156.13
Qwen3-14BThinking=no-think2026.0155.88
LLaDA-2.0-MiniTraining=T3S2026.0151.5
Ling-Mini2026.0150.38
Qwen3-30B-A3B-Instruct-25072026.0150.12
LLaDA-2.0-MiniTraining=SFT2026.0147
LLaDA-2.0-MiniTraining=Base2026.0145.88