Mingzhe Wang

Joined
August 2019

Names

Mingzhe Wang (Preferred)

Emails

****@cs.princeton.edu (Confirmed)
, 
****@princeton.edu (Confirmed)

Personal Links

Career & Education History

PhD student
Department of Computer Science, Princeton University (cs.princeton.edu)
2018 – 2022
PhD student
Princeton University (princeton.edu)
2018 – 2022
PhD student
University of Michigan (umich.edu)
2017 – 2018
MS student
University of Michigan (umich.edu)
2015 – 2017
Undergrad student
Peking University (pku.edu.cn)
2011 – 2015

Advisors, Relations & Conflicts

PhD Advisor
Jia Deng
2015 – Present

Expertise

automated theorem proving
Present
visual and language
Present
graph representation learning
Present
Automated theorem proving
2017 – Present

Publications

Co-Authors

View all 26 co-authors