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, with a particular interest in systems that generate and learn from their own training problems. My long-term goal is to develop AI systems capable of independent mathematical discovery: introducing definitions, forming conjectures, and proving theorems. I am also interested in how training objectives shape the mathematical concepts and theories these systems might develop.

More broadly, I am interested in the foundations and structure of mathematics: how mathematical theories relate to one another, and how their axioms shape what can be defined, computed, or proved. I also have a strong interest in physics and its connections to mathematics.

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

Feel free to reach out if you’d like to discuss any of these topics!