Lai Jiang

I am an MSCS student at the University of Illinois Urbana-Champaign (UIUC), where I am fortunate to have the opportunity to learn from and conduct research with Prof. Hao Peng and Prof. Heng Ji. Previously, I worked as a Research Assistant at Princeton PLI, advised by Prof. Chi Jin where my work focused on autonomous theorem proving with LLMs (Check out our Goedel-Prover-V2 🙌).

I obtained my B.S. from Shanghai Jiao Tong University, where I was a member of the ACM Honors Class. During my undergraduate studies, I was fortunate to work on research projects under the supervision of Prof. Lianhui Qin at UCSD and Prof. Hai Zhao at SJTU.

My research focuses on building LLMs that reason and act better — across formal, creative, and open-ended tasks.