Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal proof size measurement on Thm nowhere-diff. 49.1
Loading...
53
Direct Proof Size
sorry-first methodology
50.35
51.675
53
54.325
Apr 8, 2026
Direct Proof Size
Section Proof Size
Helper Proof Size
Megal. Proof Size
M–P Proof Size
Updated 9d ago
Evaluation Results
Method
Method
Links
Direct Proof Size
Section Proof Size
Helper Proof Size
Megal. Proof Size
M–P Proof Size
sorry-first methodology
2026.04
53
1,296
24
-
-
Feedback
Search any
task
Search any
task
