I am a PhD student in vision & learning lab at University of Michigan, Ann Arbor. My advisor is Prof. Jia Deng. My current research interest is to solve logic problems with deep learning methods.

Curriculum Vitae


Premise Selection for Theorem Proving by Deep Graph Embedding. [paper]
Mingzhe Wang*, Yihe Tang*, Jian Wang, and Jia Deng (*equal contribution).
Neural Information Processing Systems (NIPS), 2017.