Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Mathematical Formalization on Paper long-form
Loading...
67
Blocks
M2F
63.65
65.325
67
68.675
Feb 19, 2026
Blocks
PB Status
Files
Declarations
LoC
Holes
Closed Holes
PSR
Updated 1mo ago
Evaluation Results
Method
Method
Links
Blocks
PB Status
Files
Declarations
LoC
Holes
Closed Holes
PSR
M2F
Evaluation Stage=End-t...
2026.02
67
-
28
301
13,844
37
37
100
Feedback
Search any
task
Search any
task