Mingzhe Wang (Preferred)
Mingzhe Wang
- Joined August 2019
Names
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
Expertise
automated theorem proving
Present
visual and language
Present
graph representation learning
Present
Automated theorem proving
2017 – Present