Formal proof size measurement on Ascoli general benchmark leaderboard · SOTA2 Research

Formal proof size measurement on Ascoli general

372Directsorry-first methodology

Evaluation Results

Method	Links
sorry-first methodology2026.04		372	1,912	29	—	—