Research author

Kunal Marwaha

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

Papers by Kunal Marwaha

Aug 28, 2026
cs.AI

Prove2Me: An Open Collaborative Platform for Scaling Math Formalization

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

Kunal Marwaha — AI Research Papers | One9Founders