I am a Master's student in Computational and Mathematical Engineering (ICME) at Stanford University. I am fortunate to have worked with Prof. Tengyu Ma and Prof. Sanmi Koyejo.
My research interests include mathematical reasoning in LLMs, proof verification in formal and natural language, and reinforcement learning.
Before Stanford, I did my undergraduate at CentraleSupélec in France, where I majored in applied mathematics.
I am looking for Research Engineer roles starting July 2027. Feel free to reach out!