Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Theorem Question Answering on TheoremQA (test)

87.4Accuracy

DS-R1-Distill-Qwen-14B + Meta-Reasoner

37.542450.486263.4376.3738Feb 27, 2025
Updated 26d ago

Evaluation Results

MethodLinks
2025.02
87.4
2025.02
86.32
2025.02
84.13
2025.02
82.93
2025.02
79.41
2025.02
74.32
2025.02
43.12
2025.02
39.46