I am a 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.
NeurIPS 2026 Evaluations & Datasets Track (arXiv, website, code)
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 Oral (arXiv)