Zichen Wang

PhD student, Peking University
Joined
May 2025

Names

Zichen Wang (Preferred)
, 
ZichenWang

Emails

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

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
Zaiwen Wen
2025 – Present

Expertise

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

Publications

Co-Authors