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 | 6461 | 2015 |
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 | 169 | 2017 |
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 | 103 | 2016 |
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 | 48 | 2023 |
Learning to Prove Theorems by Learning to Generate Theorems M Wang, J Deng Advances in Neural Information Processing Systems 33, 18146--18157, 2020 | 48 | 2020 |
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 | 12 | 2020 |
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 | 11 | 2018 |
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 | 6 | 2022 |
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 | 1 | 2019 |
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 |