Research author
Pushmeet Kohli
3 AI research papers in the One9Founders library, with summaries and links to original sources.
Papers by Pushmeet Kohli
May 21, 2026
cs.AI
Advancing Mathematics Research with AI-Driven Formal Proof Search
George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, et al.
May 21, 2026
cs.AI
Towards a General Intelligence and Interface for Wearable Health Data
Girish Narayanswamy, Maxwell A. Xu, A. Ali Heydari, et al.
May 7, 2026
cs.AI
AI Co-Mathematician: Accelerating Mathematicians with Agentic AI
Daniel Zheng, Ingrid von Glehn, Yori Zwols, et al.
9