Jianhao Shen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
10
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4. | Chengwu Liu, Yichun Yin, Ye Yuan, Jiaxuan Xie, Botao Li, Siqi Li, Jianhao Shen, Yan Xu, Lifeng Shang, Ming Zhang |
| 2025 | AAAI | Cluster-guided Contrastive Class-imbalanced Graph Classification. | Wei Ju, Zhengyang Mao, Siyu Yi, Yifang Qin, Yiyang Gu, Zhiping Xiao, Jianhao Shen, Ziyue Qiao, Ming Zhang |
| 2024 | ICLR | Measuring Vision-Language STEM Skills of Neural Models. | Jianhao Shen, Ye Yuan, Srbuhi Mirzoyan, Ming Zhang, Chenguang Wang |
| 2024 | NAACL | Measuring Social Norms of Large Language Models. | Ye Yuan, Kexin Tang, Jianhao Shen, Ming Zhang, Chenguang Wang |
| 2023 | ACL | DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function. | Haiming Wang, Ye Yuan, Zhengying Liu, Jianhao Shen, Yichun Yin, Jing Xiong, Enze Xie, Han Shi, Yujun Li, Lin Li, Jian Yin, Zhenguo Li, Xiaodan Liang |
| 2023 | EACL | ComSearch: Equation Searching with Combinatorial Strategy for Solving Math Word Problems with Weak Supervision. | Qianying Liu, Wenyu Guan, Jianhao Shen, Fei Cheng, Sadao Kurohashi |
| 2023 | EMNLP | TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. | Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu |
| 2022 | COLING | Joint Language Semantic and Structure Embedding for Knowledge Graph Completion. | Jianhao Shen, Chenguang Wang, Linyuan Gong, Dawn Song |
| 2022 | EMNLP | PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion. | Jianhao Shen, Chenguang Wang, Ye Yuan, Jiawei Han, Heng Ji, Koushik Sen, Ming Zhang, Dawn Song |
| 2022 | IJCNN | HE-SNE: Heterogeneous Event Sequence-based Streaming Network Embedding for Dynamic Behaviors. | Yifan Wang, Jianhao Shen, Yiping Song, Sheng Wang, Ming Zhang |
| 2022 | WSDM | KGNN: Harnessing Kernel-based Networks for Semi-supervised Graph Classification. | Wei Ju, Junwei Yang, Meng Qu, Weiping Song, Jianhao Shen, Ming Zhang |
| 2021 | EMNLP | Generate & Rank: A Multi-task Framework for Math Word Problems. | Jianhao Shen, Yichun Yin, Lin Li, Lifeng Shang, Xin Jiang, Ming Zhang, Qun Liu |
| 2020 | AMIA | Multi-task Learning via Adaptation to Similar Tasks for Mortality Prediction of Diverse Rare Diseases. | Luchen Liu, Zequn Liu, Haoxian Wu, Zichang Wang, Jianhao Shen, Yiping Song, Ming Zhang |
| 2018 | AAAI | Learning the Joint Representation of Heterogeneous Temporal Events for Clinical Endpoint Prediction. | Luchen Liu, Jianhao Shen, Ming Zhang, Zichang Wang, Jian Tang |