Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal proof size measurement on Dim. Imbedding
Loading...
1,103
Direct Size
sorry-first methodology
1,047.85
1,075.425
1,103
1,130.575
Apr 8, 2026
Direct Size
Section Size
Helpers Size
Megal. Size
M–P Size
Updated 9d ago
Evaluation Results
Method
Method
Links
Direct Size
Section Size
Helpers Size
Megal. Size
M–P Size
sorry-first methodology
2026.04
1,103
6,271
96
-
-
Feedback
Search any
task
Search any
task
