| 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, ... Neural Networks, 106207, 2024 | 172 | 2024 |
| 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 | 122 | 2021 |
| Learning the joint representation of heterogeneous temporal events for clinical endpoint prediction L Liu, J Shen, M Zhang, Z Wang, J Tang Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 59 | 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 | 57 | 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 | 44 | 2022 |
| 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 | 29 | 2023 |
| 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 Amia annual symposium proceedings 2020, 763, 2021 | 29 | 2021 |
| 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 | 23 | 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 | 13 | 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 | 12 | 2023 |
| Measuring Social Norms of Large Language Models Y Yuan, K Tang, J Shen, M Zhang, C Wang arXiv preprint arXiv:2404.02491, 2024 | 8 | 2024 |
| Measuring vision-language stem skills of neural models J Shen, Y Yuan, S Mirzoyan, M Zhang, C Wang arXiv preprint arXiv:2402.17205, 2024 | 8 | 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 | 7 | 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 | 6 | 2022 |
| Process-driven autoformalization in lean 4 J Lu, Y Wan, Z Liu, Y Huang, J Xiong, C Liu, J Shen, H Jin, J Zhang, ... arXiv preprint arXiv:2406.01940, 2024 | 3 | 2024 |
| Learning to answer ambiguous questions with knowledge graph Y Zhu, J Shen, M Zhang arXiv preprint arXiv:1912.11668, 2019 | 3 | 2019 |
| Cluster-guided Contrastive Class-imbalanced Graph Classification W Ju, Z Mao, S Yi, Y Qin, Y Gu, Z Xiao, J Shen, Z Qiao, M Zhang arXiv preprint arXiv:2412.12984, 2024 | 1 | 2024 |
| 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), 25-38, 2019 | 1 | 2019 |
Ming Zhang（张铭）Professor,Peking UniversityVerified email at pku.edu.cn
