Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal proof size measurement on Baire category 48.2
Loading...
62
Direct Proof Size
sorry-first methodology
58.9
60.45
62
63.55
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
62
2,907
21
-
-
Feedback
Search any
task
Search any
task
