Kangping Xu

Pronouns: he/him

PhD student, IIIS, Tsinghua University, Tsinghua University

  • Joined September 2024

Names

Kangping Xu (Preferred)

Emails

****@mails.tsinghua.edu.cn (Confirmed)

Personal Links

Career & Education History

PhD student
IIIS, Tsinghua University, Tsinghua University (mails.tsinghua.edu.cn)
2024 – Present
 
Undergrad student
Computer Science and Technology, Tsinghua University, Tsinghua University (mails.tsinghua.edu.cn)
2020 – 2024
 

Advisors, Relations & Conflicts

PhD Advisor
2024 – Present
 

Expertise

Neural Theorem Proving
2024 – Present
 
Automated Mathematical Reasoning
2024 – Present