Author

Shu-Ze Chen

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Aug 2026

Prove2Me: An Open Collaborative Platform for Scaling Math Formalization

Prove2Me aims to turn math formalization into a scalable, crowd-sourced effort open to anyone with an agent, and designed mechanisms and a specialized harness that enable large-scale collaboration so that agents can build on one another's work and freely reuse existing results.

Shu-Ze Chen, Kunal Marwaha, Xiao-Yang Lu et al. · 0 citations