Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Mathematical Formalization on Real Analysis long-form Lebl
Loading...
416
Blocks
M2F
395.2
405.6
416
426.4
Feb 19, 2026
Blocks
PB Flag
Files
Declarations
Lines of Code (LoC)
Holes
Closed Holes
Proof Success Rate (PSR)
Updated 4d ago
Evaluation Results
Method
Method
Links
Blocks
PB Flag
Files
Declarations
Lines of Code (LoC)
Holes
Closed Holes
Proof Success Rate (PSR)
M2F
Evaluation Stage=End-t...
2026.02
416
-
49
1,195
34,327
339
339
100
Feedback
Search any
task
Search any
task
