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

Theorem-based Question Answering on TheoremQA

86.32Accuracy

Meta-reasoner

44.262455.181266.177.0188Feb 27, 2025Apr 21, 2025Jun 14, 2025Aug 7, 2025Sep 29, 2025Nov 22, 2025Jan 15, 2026
Updated 26d ago

Evaluation Results

MethodLinks
2025.02
86.32
2025.02
84.41
2025.02
84.13
2025.02
83.48
2025.02
81.28
2025.02
80.32
56.13
2026.01
55.88
2026.01
51.5
2026.01
50.38
50.12
2026.01
47
2026.01
45.88