Sotabase
Home
Researchers
Career
·
EECS UROP
,
MIT Robot Locomotion Group
Publications
(1)
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
arXiv.org · 2025
12
cited
Sotabase
Margulan Ismoldayev | Researcher Profile | Sotabase | Sotabase