Back to papers
August 28, 2026cs.AIcs.LOcs.MA

Prove2Me: An Open Collaborative Platform for Scaling Math Formalization

Shuze Chen, Kunal Marwaha, Xiaoyang Lu, Henry Yuen, Tianyi Peng
Read on arXivDownload PDF
Categories

cs.AI, cs.LO, cs.MA