Statistics
Publications
6
Citations
238
H-Index
6
Active since
2010
Affiliations
Mingzhe Wang is an author at University of Michigan specializing in engineering, data science, and knowledge discovery.
Publications per year
2010–2023
6
6
Infinite Photorealistic Worlds Using Procedural Generation
Alexander Raistrick, Lahav Lipson, Zeyu Ma et al. · 2023 · 49 citations
Premise Selection for Theorem Proving by Deep Graph Embedding
Mingzhe Wang, Yihe Tang, Jian Wang et al. · arXiv (Cornell University) · 2017 · 26 citations · Full text
Artificial Intelligence, Structured Prediction, Engineering +17
1–5 of 6