CV

Education

PhD in Computer science - University of Cambridge, Exp. 2028
PhD on automated conjecture generation and theorem proving with AI systems.
Supervisor: Prof. Mateja Jamnik, Professor of Artificial Intelligence at the University of Cambridge.

MSc in Mathematics - Paris Cite University, Exp. 2024
Master’s degree in mathematical logic, with a thesis on automated theorem proving.
Grade: Incoming.

MSc in Mathematics - Sorbonne University, 2023
Master’s degree in machine learning, with a thesis on automated theorem proving.
Grade: First Class Honours (16.0/20).

Experience

Research internship - University of Cambridge, 2023
Research internship on automated theorem proving with the Isabelle proof assistant, using Monte Carlo tree search combined with the large language models LLaMA and GPT-2.
Supervisor: Dr. Wenda Li, Research Associate at the University of Cambridge.

Research internship - OpenAI, 2022
Research internship on automated theorem proving and auto-formalisation with the Lean proof assistant, using GPT-3.5 trained with expert iteration on synthetic data.
Supervisor: Stanislas Polu, Research Engineer at OpenAI.

Publications

Llemma: An Open Language Model For Mathematics
Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen McAleer, Albert Q. Jiang, Jia Deng, Stella Biderman, Sean Welleck
ICLR 2024 (poster) and MATH-AI Workshop at NeurIPS 2023 (poster)
📄 Paper | 🤗 Model | 🤗 Dataset | Code

OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, Jimmy Ba
ICLR 2024 (poster) and MATH-AI Workshop at NeurIPS 2023 (oral & poster)
📄 Paper | 🤗 Dataset | Code

Awards and honours

École normale supérieure Data Challenge, 2023
1st place out of 107 participants at the École normale supérieure Data challenge organized by Inria. Invited to the awards ceremony at Collège de France to present my solution.