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 developing next-generation LLM reasoning systems with enhanced creativity, accuracy, and generalization through improved training and data synthesis methods.