Yuntian Liu

Pronouns: he/him

Undergrad student, School of Mathematical Sciences, Shanghai Jiaotong University

  • Joined December 2024

Names

Yuntian Liu (Preferred)

Emails

****@sjtu.edu.cn (Confirmed)

Personal Links

Career & Education History

Undergrad student
School of Mathematical Sciences, Shanghai Jiaotong University (sjtu.edu.cn)
2024 – 2028
 

Advisors, Relations & Conflicts

No relations added

Expertise

Autoformalization and automatic theorem proving in LEAN with LLM
2024 – 2028