Hello!

I’m a 1st year computer science PhD student at the University of Illinois Urbana-Champaign. My research interests lie broadly at the intersection of machine learning and formal methods. I’m most experienced in using LLMs for automated theorem proving in proof assistants (Lean 4 and Isabelle), both for formal mathematics and for program specification and verification. I’m also interested in improving LLMs for code reasoning. I’m excited to continue my academic journey and pursue a career in research!