I am an AI research scientist at Meta. Previously, I was at Google DeepMind, working on post-training & RL, where I contributed to Gemini 2.5, Gemini 3.0, Gemini 3.1, IMO '25🥇, ICPC '25🥇 and AlphaProof.
I completed my Ph.D. from the Theory Group at Berkeley EECS in 2024, advised by Jelani Nelson.
Prior to that, I received B.S. in Computer Science and B.S. in Mathematics from Duke University.
Links: Google Scholar / Twitter / LinkedIn
Topics: Language model /
Algorithmic statistics /
Sublinear algorithms /
Learning-based algorithms /
Others
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
Moritz Firsching*, Paul Lezeau*, Salvatore Mercuri*, Miklós Z. Horváth*, Yaël Dillies, Calle Sönne, Eric Wieser, Fred Zhang, Thomas Hubert, Blaise Agüera y Arcas, Pushmeet Kohli.
arXiv, 2026
Notes
Teaching
Graduate Student Instructor, UC Berkeley
- CS 294-165: Sketching Algorithms (Fall 20)
- CS 170: Efficient Algorithms and Intractable Problems (Spring 20)
Undergraudate Teaching Assistant, Duke University