Xian Zhang (Preferred)
Xian Zhang
Principal Researcher, Microsoft
Joined
January 2024
Names
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
Expertise
Neural Theorem Proving
Present
AI Math Reasoning
Present