Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Mathematical Formalization on Convex Analysis long-form Sec. 1–15 Rockafellar
Loading...
560
Blocks
M2F
532
546
560
574
Feb 19, 2026
Blocks
PB Status
Files Count
Declarations
LoC
Holes
Closed Goals/Items
PSR
Updated 1mo ago
Evaluation Results
Method
Method
Links
Blocks
PB Status
Files Count
Declarations
LoC
Holes
Closed Goals/Items
PSR
M2F
Evaluation Stage=End-t...
2026.02
560
-
164
2,620
105,682
499
499
100
Feedback
Search any
task
Search any
task
