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

Formal Theorem Proving on PutnamBench

668Solved Count

ALEPH

-19.44159.03337.5515.97Dec 19, 2025Jan 16, 2026Feb 14, 2026Mar 15, 2026Apr 13, 2026May 12, 2026Jun 10, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.03
668-
2026.03
637-
2026.03
581-
2025.12
58087.9
2026.03
500-
2026.03
462-
2026.03
329-
2026.03
110-
2026.03
110-
2026.03
104-
2026.06
93-
2026.03
91-
2026.03
86-
2026.06
86-
2026.03
82-
2026.03
80-
2026.03
63-
2026.03
63-
2026.06
59-
2026.06
57-
2026.06
48-
2026.03
47-
2026.06
47-
2026.03
44-
2026.06
43-
2026.03
41-
2026.03
38-
2026.03
37-
2026.03
32-
2026.03
28-
2026.03
28-
2026.03
25-
2026.03
25-
2026.03
23-
2026.03
23-
2026.06
23-
2026.06
22-
2026.03
21-
2026.03
20-
2026.03
20-
2026.03
17-
2026.03
16-
2026.03
14-
2026.03
14-
2026.06
14-
2026.03
12-
2026.03
10-
2026.03
10-
2026.03
10-
2026.03
10-
2026.06
10-
2026.03
8-
2026.06
8-
2026.03
7-
2026.06
7-
2026.06
7-
2025.12
-50.4
2025.12
-56.1
2025.12
-70
2025.12
-75.8
-22
-24
2026.02
-7.1
2026.02
-13
2026.02
-1.5
2026.02
-13.8
2026.02
-70
-87.9
2026.02
-54.7
2026.06
-13
2026.06
-41.5
-50.4
-87.9
2026.06
-70
2026.06
-54.7
2026.06
-75.6
2026.06
-88.8