Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

Theorem Question Answering on TheoremQA standard (test)

56Accuracy

Ours (theory-guided context selection strategy)

25.63233.51641.449.284Feb 9, 2026
Updated 4d ago

Evaluation Results

MethodLinks
56
2026.02
55.6
2026.02
55.6
2026.02
55.4
2026.02
54.8
2026.02
54.6
28
2026.02
27.7
2026.02
27.6
2026.02
27.6
2026.02
27
2026.02
26.8