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

Retrieval-Augmented Generation on TheoremQA

66.3Accuracy

Ours

25.2235.88546.5557.215Feb 9, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.02
66.3
2026.02
65.1
2026.02
64.4
2026.02
63.6
2026.02
62.8
2026.02
54.6
2026.02
40.8
2026.02
40
2026.02
39.2
2026.02
38.4
2026.02
37.6
2026.02
26.8