TY  - RPRT
TI  - Prove2Me: An Open Collaborative Platform for Scaling Math Formalization
AU  - Shuze Chen
AU  - Kunal Marwaha
AU  - Xiaoyang Lu
AU  - Henry Yuen
AU  - Tianyi Peng
PY  - 2026
UR  - https://arxiv.org/abs/2608.28433
ID  - 2608.28433
ER  -