ResearchBenchmarksFormal proof size measurement on Dim. ImbeddingFormal proof size measurement on Dim. ImbeddingFollow1,103Direct Sizesorry-first methodology1,047.851,075.4251,1031,130.575Apr 8, 2026Evaluation resultsMethodMethodLinksDirect SizeSection SizeHelpers SizeMegal. SizeM–P Sizesorry-first methodology2026.041,1036,27196——