Wang, Mingzhe

5 publications

CVPR 2023 Infinite Photorealistic Worlds Using Procedural Generation Alexander Raistrick, Lahav Lipson, Zeyu Ma, Lingjie Mei, Mingzhe Wang, Yiming Zuo, Karhan Kayan, Hongyu Wen, Beining Han, Yihan Wang, Alejandro Newell, Hei Law, Ankit Goyal, Kaiyu Yang, Jia Deng

ECCV 2020 A Unified Framework of Surrogate Loss by Refactoring and Interpolation Lanlan Liu, Mingzhe Wang, Jia Deng

NeurIPS 2020 Learning to Prove Theorems by Learning to Generate Theorems Mingzhe Wang, Jia Deng

NeurIPS 2017 Premise Selection for Theorem Proving by Deep Graph Embedding Mingzhe Wang, Yihe Tang, Jian Wang, Jia Deng

ECCV 2016 Structured Matching for Phrase Localization Mingzhe Wang, Mahmoud Azab, Noriyuki Kojima, Rada Mihalcea, Jia Deng