I'm an associate professor of mathematics at Brown University, a KIAS Scholar, a Visiting Researcher at Google DeepMind, and an advisor at Logical Intelligence. My research is partially supported by NSF DMS-2522850. Here's my CV.
I'm a member of Faculty Executive Committee (FEC) of Brown University.
I'm generally interested in any problem involving arithmetic hyperbolic manifolds and/or eigenfunctions of the Laplace---Beltrami operator.
I also work on AI+Math projects.
Contact: [first name]_[last name] at brown dot edu
Together with my colleagues at Google DeepMind, we developed a natural language based reasoning system (a.k.a. advanced version of Gemini with Deep Think), and it officially achieved gold medal standard at the International Mathematical Olympiad 2025. On 7/21/2025, it was featured in a DeepMind blogpost. There are many news articles about this work, including: Reuters, WSJ, NYT, Ars Technica, Axios, and New Scientist.
On 3/18/2025, I gave a public lecture on AlphaGeometry at ICERM.
On 2/5/2025, AlphaGeometry2 paper was posted on the arXiv. The work was later featured in TechCrunch and in Nature.
On 12/14/2024, I participated in a panel discussion at the 4th MATH-AI Workshop at NeurIPS.
On 7/25/2024, a project I contributed to at Google DeepMind was highlighted in a DeepMind blogpost. Also, you can find me in a NYT article.
