About me

I recently completed a Master’s degree in machine learning at Sorbonne University and I am passionate about the applications of machine learning for mathematics. I hope to continue my studies with a PhD in artificial intelligence.

Over the past two years, I have completed internships at OpenAI and the University of Cambridge, where I focused on neural theorem proving. For more details about my academic and professional journey, please check my CV.

I am actively involved in several research projects on the applications of AI for both informal and formal mathematics. More details on these projects can be found on the Research page.

Recently, we released OpenWebMath, a large dataset of mathematical text extracted from the web, and Llemma, a large language model for mathematics. For more information on these works, you can visit the Publications page.