Research author

Xiaoyang Lu

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Xiaoyang Lu

Aug 28, 2026
cs.AI

Prove2Me: An Open Collaborative Platform for Scaling Math Formalization

Shuze Chen, Kunal Marwaha, Xiaoyang Lu, et al.

Xiaoyang Lu — AI Research Papers | One9Founders