Zichen Wang

Pronouns: he/him

PhD student, Peking University

Undergrad student, Xi'an Jiaotong University

  • Joined May 2025

Names

Zichen Wang (Preferred)
,
ZichenWang

Emails

****@stu.xjtu.edu.cn (Confirmed)
,
****@qq.com (Confirmed)

Personal Links

Career & Education History

PhD student
Peking University (pku.edu)
2025 – Present
 
Undergrad student
Xi'an Jiaotong University (xjtu.edu.cn)
2021 – 2025
 

Advisors, Relations & Conflicts

PhD Advisor
2025 – Present
 

Expertise

Automated Theorem Proving
2024 – Present
 
Mathematical Formalization
2024 – Present
 
Deep learning
2024 – Present
 
optimization
2024 – Present