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

Deductive logical reasoning on ProverQA hard (test)

0Error Rate

ICL

-2.81616.19235.254.208Jan 14, 2026
Updated 3d ago

Evaluation Results

MethodLinks
2026.01
00
2026.01
7.63
2026.01
28.49.4
2026.01
42.224.4
2026.01
48.418.2
2026.01
50.220.2
2026.01
50.422.2
2026.01
53.431
2026.01
64.840.8
2026.01
65.833.6
2026.01
69.435.6
2026.01
70.443