2026
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
ICLR 2026poster
In recent months, large language models (LLMs) have made significant progress in mathematical proof generation, but further advancement is hindered by the lack of a large-scale, high-quality dataset of human-evaluated proofs. While expensive to create, such a dataset is essential for driving improve…