Biography
I'm a CS PhD student at University of Illinois Urbana-Champaign, studying in Prof. Talia Ringer's ITP lab. Currently, my primary research interest is in improving the performance of LLMs for proof assistants like Lean, Rocq, and Agda, particularly by enabling them to use tools and reasoning. Previously, I studied Cognitive Science and Mathematics at UC San Diego, where I worked on similar research in Sorin Lerner's lab. Outside of research, I enjoy playing the tenor saxophone, board games, and hiking.