Research author
Swarat Chaudhuri
2 AI research papers in the One9Founders library, with summaries and links to original sources.
Papers by Swarat Chaudhuri
Aug 11, 2026
cs.AI
Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration
Alan Li, Rahul Saha, Anton Xue, et al.
May 21, 2026
cs.AI
Advancing Mathematics Research with AI-Driven Formal Proof Search
George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, et al.