Share your thoughts, 1 month free Claude Pro on us
See more
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 1mo 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