Follow
Mingzhe Wang
Mingzhe Wang
Verified email at cs.princeton.edu
Title
Cited by
Cited by
Year
Line: Large-scale information network embedding
J Tang, M Qu, M Wang, M Zhang, J Yan, Q Mei
Proceedings of the 24th international conference on world wide web, 1067-1077, 2015
60662015
Premise selection for theorem proving by deep graph embedding
M Wang, Y Tang, J Wang, J Deng
Advances in neural information processing systems 30, 2017
1522017
Structured matching for phrase localization
M Wang, M Azab, N Kojima, R Mihalcea, J Deng
Computer Vision–ECCV 2016: 14th European Conference, Amsterdam, The …, 2016
1002016
Learning to Prove Theorems by Learning to Generate Theorems
M Wang, J Deng
Advances in Neural Information Processing Systems 33, 18146--18157, 2020
372020
Infinite photorealistic worlds using procedural generation
A Raistrick, L Lipson, Z Ma, L Mei, M Wang, Y Zuo, K Kayan, H Wen, ...
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2023
182023
A unified framework of surrogate loss by refactoring and interpolation
L Liu, M Wang, J Deng
Computer Vision–ECCV 2020: 16th European Conference, Glasgow, UK, August 23 …, 2020
122020
Speaker naming in movies
M Azab, M Wang, M Smith, N Kojima, J Deng, R Mihalcea
Proceedings of the 2018 Conference of the North American Chapter of the …, 2018
112018
Oracle-free repair synthesis for floating-point programs
D Zou, Y Gu, Y Shi, MZ Wang, Y Xiong, Z Su
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 957-985, 2022
42022
Building a Flexible Knowledge Graph to Capture Real-World Events.
L Burdick, O Ignat, Y Zhang, R Mihalcea, M Wang, S Wilson, Y Wei, ...
TAC, 2019
12019
Entity and Event Extraction from Scratch Using Minimal Training Data.
L Wendlandt, S Wilson, O Ignat, C Welch, L Zhang, M Wang, J Deng, ...
TAC, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–10