| A Comprehensive Survey on Deep Graph Representation Learning W Ju, Z Fang, Y Gu, Z Liu, Q Long, Z Qiao, Y Qin, J Shen, F Sun, Z Xiao, ... arXiv preprint arXiv:2304.05055, 2023 | 136 | 2023 |
| Generate & Rank: A Multi-task Framework for Math Word Problems J Shen, Y Yin, L Li, L Shang, X Jiang, M Zhang, Q Liu Findings of EMNLP2021, 2021 | 113 | 2021 |
| Learning the joint representation of heterogeneous temporal events for clinical endpoint prediction L Liu, J Shen, M Zhang, Z Wang, J Tang Thirty-Second AAAI Conference on Artificial Intelligence, 2018 | 56 | 2018 |
| Joint Language Semantic and Structure Embedding for Knowledge Graph Completion J Shen, C Wang, L Gong, D Song arXiv preprint arXiv:2209.08721, 2022 | 46 | 2022 |
| KGNN: Harnessing Kernel-based Networks for Semi-supervised Graph Classification W Ju, J Yang, M Qu, W Song, J Shen, M Zhang Proceedings of the Fifteenth ACM International Conference on Web Search and …, 2022 | 41 | 2022 |
| Multi-task Learning via Adaptation to Similar Tasks for Mortality Prediction of Diverse Rare Diseases L Liu, Z Liu, H Wu, Z Wang, J Shen, Y Song, M Zhang arXiv preprint arXiv:2004.05318, 2020 | 30 | 2020 |
| DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function H Wang, Y Yuan, Z Liu, J Shen, Y Yin, J Xiong, E Xie, H Shi, Y Li, L Li, ... Proceedings of the 61st Annual Meeting of the Association for Computational …, 2023 | 26 | 2023 |
| FIMO: A Challenge Formal Dataset for Automated Theorem Proving C Liu, J Shen, H Xin, Z Liu, Y Yuan, H Wang, W Ju, C Zheng, Y Yin, L Li, ... arXiv preprint arXiv:2309.04295, 2023 | 21 | 2023 |
| Lyra: Orchestrating Dual Correction in Automated Theorem Proving C Zheng, H Wang, E Xie, Z Liu, J Sun, H Xin, J Shen, Z Li, Y Li arXiv preprint arXiv:2309.15806, 2023 | 10 | 2023 |
| TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models J Xiong, J Shen, Y Yuan, H Wang, Y Yin, Z Liu, L Li, Z Guo, Q Cao, ... arXiv preprint arXiv:2310.10180, 2023 | 9 | 2023 |
| Measuring Vision-Language STEM Skills of Neural Models J Shen, Y Yuan, S Mirzoyan, M Zhang, C Wang arXiv preprint arXiv:2402.17205, 2024 | 7 | 2024 |
| PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion J Shen, C Wang, Y Yuan, J Han, H Ji, K Sen, M Zhang, D Song arXiv preprint arXiv:2210.13715, 2022 | 6 | 2022 |
| HE-SNE: Heterogeneous Event Sequence-based Streaming Network Embedding for Dynamic Behaviors Y Wang, J Shen, Y Song, S Wang, M Zhang 2022 International Joint Conference on Neural Networks (IJCNN), 1-8, 2022 | 3 | 2022 |
| Learning to Answer Ambiguous Questions with Knowledge Graph Y Zhu, J Shen, M Zhang arXiv preprint arXiv:1912.11668, 2019 | 3 | 2019 |
| ComSearch: Equation Searching with Combinatorial Strategy for Solving Math Word Problems with Weak Supervision Q Liu, W Guan, J Shen, F Cheng, S Kurohashi arXiv preprint arXiv:2210.07017, 2022 | 1 | 2022 |
| 基于深度学习的异构时序事件患者数据表示学习框架 刘卢琛， 沈剑豪， 张铭， 王子昌， 李浩然， 刘泽群 大数据 5 (1), 2019003, 2019 | 1 | 2019 |
Ming Zhang（张铭）Professor,Peking UniversityVerified email at pku.edu.cn
