Mingzhe Wang

I am interested in automated reasoning, machine learning, and artificial intelligence in general. My current research focuses on building machine learning techniques to advance automated theorem proving. Prior to that, I worked on joint language and vision recognition and graph representation learning.