Formal proof size measurement
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
1,103Direct Size
1
Apr 10, 2026
53Direct Proof Size
1
Apr 10, 2026
62Direct Proof Size
1
Apr 10, 2026
372Direct
1
Apr 10, 2026
325Direct Proof Size
1
Apr 10, 2026
83Direct Proof Size
1
Apr 10, 2026
968Direct Size
1
Apr 10, 2026
198Direct Size
1
Apr 10, 2026
324Direct Component Size
1
Apr 10, 2026
1,196Direct Proof Size
1
Apr 10, 2026
287Direct
1
Apr 10, 2026