About me!

Hi! I am a fourth year PhD student at the UT Austin, advised by Swarat Chaudhuri. I am also a research scientist at Google DeepMind as part of the Science & Strategic Initiatives Unit. My work is centered on the application of AI to the mathematical sciences.

Research

My research at UT Austin has been focused on AI techniques for formal mathematics. My prior work includes PutnamBench, a benchmark of formalized undergraduate-level competition problems, and FERMAT, a project aimed to better understand: how did human mathematics arise? how can we learn a policy that can reproduce human-made (interesting) mathematics, tabula rasa? I’ve also contributed to COPRA, CLEVER, ProofWala, SorryDB. See more information at my publications page.

At DeepMind, I’ve been heavily involved in the development of AlphaProof Nexus.

Previously, I completed my maths undergraduate degree at Rutgers University, where I conducted various research projects in automated reasoning and pure maths. This included two NSF REUs, at the College of William & Mary and San Diego State University.