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, Gemma 4, 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
Beyond the Rosetta Stone: Unification Forces in Generalization Dynamics
Carter Blum, Katja Filippova, Ann Yuan, Asma Ghandeharioun, Julian Zimmert, Fred Zhang, Jessica Hoffmann, Tal Linzen, Martin Wattenberg, Lucas Dixon, Mor Geva.
COLM 2026 (arXiv)