George Tsoukalas

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (2)Reasoning & Chain-of-Thought (2)Tool Use & Agents (1)Eval Frameworks & Benchmarks (1)

Frequent co-authors

Anton Kovsharov (1)Sergey Shirobokov (1)Anja Surina (1)Moritz Firsching (1)

Papers (2)

May 21, 2026

DeepMind5d ago·also Google Research, Aarhus University

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 +17

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

Mar 3, 2026

Axiomatic AIMar 3, 2026·also Columbia, Côte d’Azur University, ENSEIRB-MATMECA, EPFL +5

SorryDB: Can AI Provers Complete Real-World Lean Theorems?

Forget toy problems: SorryDB offers a continuously updated stream of real-world Lean formalization tasks, providing a robust benchmark for AI provers to contribute to novel mathematics.

Austin Letson, Leopoldo Sarra, Auguste Poiroux +9

Code Generation & Program Synthesis Eval Frameworks & Benchmarks Reasoning & Chain-of-Thought