Explore
Stack
Learn
Search the catalog
⌘K
$
/
₹
Sign up free
Login
Back to papers
August 28, 2026
cs.AI
cs.LO
cs.MA
Prove2Me: An Open Collaborative Platform for Scaling Math Formalization
Shuze Chen
,
Kunal Marwaha
,
Xiaoyang Lu
,
Henry Yuen
,
Tianyi Peng
Original Abstract
Read on arXiv
Download PDF
Categories
cs.AI, cs.LO, cs.MA
Prove2Me: An Open Collaborative Platform for Scaling Math Formalization - AI Research | One9Founders | One9Founders