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