Paul Lezeau

PhD student in Mathematics

Paul
Lezeau

I work across algebraic geometry, formal mathematics, and the mathematics of artificial intelligence.

  • Algebraic geometry
  • Formal mathematics
  • Mathematics of AI
Explore my research Get in touch
Paul Lezeau standing beside a canal lined with colourful buildings

About

I am a PhD student at the London School of Geometry and Number Theory, a joint programme between Imperial College London, University College London, and King’s College London, funded by the EPSRC.

Before this, I completed my master’s at the University of Cambridge and my BSc at the University of Warwick.

Selected work

Recent research

View all research

  1. Nature

    Olympiad-level formal mathematical reasoning with reinforcement learning

  2. ICML 2026 · ICLR 2026 VerifAI-2 Workshop

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

  3. Preprint

    Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics

Updates

News

2026

LLM & RL Reading Group

The 2026 reading group at Imperial College has now ended. Its programme and session resources remain available as an archive.

View the reading group archive