Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Theorem Proving on Putnam 2025 (Status, Lines, Time)
Loading...
110
Proof Lines
rocq-mcp
22.64
612.32
1,202
1,791.68
Mar 20, 2026
Proof Lines
Status
Inference Time
Updated 26d ago
Evaluation Results
Method
Method
Links
Proof Lines
Status
Inference Time
rocq-mcp
Problem=A3, Axioms=Non...
2026.03
110
-
1
rocq-mcp
Problem=A1, Axioms=cla...
2026.03
305
-
51
rocq-mcp
Problem=A2, Axioms=Rea...
2026.03
308
-
1
rocq-mcp
Problem=B4, Axioms=Non...
2026.03
414
-
3
rocq-mcp
Problem=B3, Axioms=Non...
2026.03
439
-
15
rocq-mcp
Problem=B2, Axioms=Rea...
2026.03
513
-
5
rocq-mcp
Problem=A4, Axioms=Rea...
2026.03
531
-
4
rocq-mcp
Problem=B1, Axioms=Rea...
2026.03
570
-
1
rocq-mcp
Problem=A6, Axioms=Non...
2026.03
897
-
19
rocq-mcp
Problem=B6, Domain=Ana...
2026.03
1,160
-
-
rocq-mcp
Problem=B5, Axioms=Non...
2026.03
1,455
-
46
rocq-mcp
Problem=A5, Domain=Enu...
2026.03
2,294
-
-
Feedback
Search any
task
Search any
task
