Xian Zhang

Principal Researcher, Microsoft

  • Joined January 2024

Names

Xian Zhang (Preferred)

Emails

****@microsoft.com (Confirmed)

Personal Links

Career & Education History

Principal Researcher
Microsoft (microsoft.com)
2025 – Present
 
Researcher
Microsoft Research (microsoft.com)
2018 – 2025
 
PhD student
Peking University (pku.edu.cn)
2013 – 2018
 
Undergrad student
Peking University (pku.edu.cn)
2009 – 2013
 

Advisors, Relations & Conflicts

No relations added

Expertise

Neural Theorem Proving
Present
 
AI Math Reasoning
Present