Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Swarat Chaudhuri | Lattice

Swarat Chaudhuri

Papers on Lattice

2

Total citations

0

Topics

4

Publication activitypapers/week, last 8 weeks

Research focus

Reasoning & Chain-of-Thought (2)Tool Use & Agents (2)Scientific Discovery & Drug Design (1)Code Generation & Program Synthesis (1)

Frequent co-authors

Alan Li (1)Rahul Saha (1)Anton Xue (1)Adam Klivans (1)

Papers (2)

Aug 11, 2026

Alan Li +62w ago

Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration

AI can generate novel mathematical insights, as evidenced by tightening the Grothendieck constant bounds significantly.

Alan Li, Rahul Saha, Anton Xue +4

Reasoning & Chain-of-Thought Scientific Discovery & Drug Design Tool Use & Agents

May 21, 2026

DeepMindMay 21, 2026·also Google Research, Aarhus University, Affiliation:, CAS

Advancing Mathematics Research with AI-Driven Formal Proof Search

AI can now autonomously solve open math problems, cracking 9 Erdős problems and 44 OEIS conjectures at a reasonable cost.

George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +14

Code Generation & Program Synthesis Reasoning & Chain-of-Thought Tool Use & Agents

Pravesh K Kothari (1)

George Tsoukalas (1)

Anton Kovsharov (1)