Research author

Tianyi Peng

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Tianyi Peng

Aug 28, 2026
cs.AI

Prove2Me: An Open Collaborative Platform for Scaling Math Formalization

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

Jul 8, 2026
cs.AI

Agentic Data Environments

Elaine Ang, Chenxi Huang, Georgios Liargkovas, et al.

Tianyi Peng — AI Research Papers | One9Founders