Our new X account is live! Follow @wizwand_team for updates
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 4d 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
