List your company

STEM Reasoning on TheoremQA

36.8AccuracyBingo-A
28.27230.48632.734.914Jun 9, 2025

Evaluation results

MethodLinks
Bingo-ABase Model=DeepSeek-R1-Distill-Qwen-1.5B2025.0636.81,64832.9
Bingo-EBase Model=DeepSeek-R1-Distill-Qwen-1.5B2025.0636.71,58433
DASTBase Model=DeepSeek-R1-Distill-Qwen-1.5B2025.0635.22,32529.8
DemystifyingBase Model=DeepSeek-R1-Distill-Qwen-1.5B2025.0635.11,97630.6
Effi. ReasoningBase Model=DeepSeek-R1-Distill-Qwen-1.5B2025.0634.83,56026.2
kimi-k1.5Base Model=DeepSeek-R1-Distill-Qwen-1.5B2025.0634.42,13629.6
Vanilla PPOBase Model=DeepSeek-R1-Distill-Qwen-1.5B2025.0632.34,14622.7
O1-PrunerBase Model=DeepSeek-R1-Distill-Qwen-1.5B2025.0628.652427.6