Yingjia Wan

Yingjia Wan

(I also go by my nickname ‘Alisa’)

About

Hi! I am Yingjia. My research interests include LLM reasoning, automated theorem proving, long-form generation evaluation, and model alignment.

- Education: I obtained my master’s degree at the Language Technology lab, University of Cambridge in 2023. I received my bachelor’s degree from University of Macau where I graduated as the valedictorian of Class 2021.

- Collaboration: I feel incredibly grateful to work with some outstanding LLM researchers and mentors such as: Dr. Zhijiang Guo, Dr. Ivan Vulić, Jianqiao Lu, Dr. Yinya Huang, and Dr. Zhengying Liu.

- Services: Reviewer for ACL 2025, ACL 2024, EMNLP 2024, and ICLR 2025.

- Status: I am applying for PhD admission 2025 and always open for collaboration. Feel free to drop me an email if there is a good fit!

Interests
  • LLM Reasoning
  • Long-Form Generation Evaluation
  • Formal Verification & Autoformalization
  • Alignment
Education
  • University of Cambridge, 2022-2023

  • University of Michigan, 2019-2020

    Funded Exchange

  • University of Macau, 2017-2021

Research Experience

 
 
 
 
 
Uniersity of Cambridge
Student Researcher
Uniersity of Cambridge
February 2024 – Present Cambridge, UK
Topic: LLM Reasoning; Autoformalization in Lean 4; Generation Evaluation
 
 
 
 
 
Hong Kong University of Science and Technology - Guangzhou
Research Assistant
Hong Kong University of Science and Technology - Guangzhou
March 2024 – August 2024
Topic: Formal Verification / Automated Thoerem Proving
 
 
 
 
 
University of Michigan
Visiting Student / Lab Member
University of Michigan
January 2020 – July 2021 Ann Arbor, MI, USA

Contact