Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Mathematical Formalization on Total long-form Combined Corpora (aggregate)
Loading...
1,043
Blocks
M2F
990.85
1,016.925
1,043
1,069.075
Feb 19, 2026
Blocks
PB Flag
Files
Declarations
Lines of Code (LoC)
Holes
Closed Items
Proof Success Rate (PSR)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Blocks
PB Flag
Files
Declarations
Lines of Code (LoC)
Holes
Closed Items
Proof Success Rate (PSR)
M2F
Evaluation Stage=End-t...
2026.02
1,043
-
241
4,116
153,853
875
875
100
Feedback
Search any
task
Search any
task
