About me

I am a PhD student at the University of Cambridge, supervised by Prof. Mateja Jamnik and Prof. Timothy Gowers, and a Student Researcher at Google DeepMind.

My research explores how large language models can learn to reason through reinforcement learning and make discoveries autonomously. I investigate these questions through applications to informal and formal mathematics, which I see as a rich testing ground for developing general methods for AI reasoning. My work spans LLM pre-training (OpenWebMath, Llemma), post-training (Kimina-Prover), and agentic systems (Numina Lean Agent).

I have long been passionate about mathematics, particularly its foundations and structure: the connections between theories, the role of axioms, and the limits of proof and computation.

My CV, a description of my publications, and an overview of my research interests are available on this website.