Jianhao Shen

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 32

Top Topics

Automated Theorem Proving

Top Venues

EMNLP (Findings)

Publications

Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li
Lyra: Orchestrating Dual Correction in Automated Theorem Proving. Trans. Mach. Learn. Res. 2024 (2024)
Ye Yuan, Kexin Tang, Jianhao Shen, Ming Zhang, Chenguang Wang
Measuring Social Norms of Large Language Models. CoRR (2024)
Wei Ju, Zheng Fang, Yiyang Gu, Zequn Liu, Qingqing Long, Ziyue Qiao, Yifang Qin, Jianhao Shen, Fang Sun, Zhiping Xiao, Junwei Yang, Jingyang Yuan, Yusheng Zhao, Yifan Wang, Xiao Luo, Ming Zhang
A Comprehensive Survey on Deep Graph Representation Learning. Neural Networks 173 (2024)
Jianhao Shen, Ye Yuan, Srbuhi Mirzoyan, Ming Zhang, Chenguang Wang
Measuring Vision-Language STEM Skills of Neural Models. CoRR (2024)
Yuanzhi Deng, Jianhao Shen, Huajie Wen, Cheng Chi, Yang Zhou, Gang Xu
Dense frustum-aware fusion for 3D object detection in perception systems. Expert Syst. Appl. 238 (Part E) (2024)
Jianhao Shen, Ye Yuan, Srbuhi Mirzoyan, Ming Zhang, Chenguang Wang
Measuring Vision-Language STEM Skills of Neural Models. ICLR (2024)
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
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function. ACL (1) (2023)
Wei Ju, Zheng Fang, Yiyang Gu, Zequn Liu, Qingqing Long, Ziyue Qiao, Yifang Qin, Jianhao Shen, Fang Sun, Zhiping Xiao, Junwei Yang, Jingyang Yuan, Yusheng Zhao, Xiao Luo, Ming Zhang
A Comprehensive Survey on Deep Graph Representation Learning. CoRR (2023)
Chengwu Liu, Jianhao Shen, Huajian Xin, Zhengying Liu, Ye Yuan, Haiming Wang, Wei Ju, Chuanyang Zheng, Yichun Yin, Lin Li, Ming Zhang, Qun Liu
FIMO: A Challenge Formal Dataset for Automated Theorem Proving. CoRR (2023)
Liting Chen, Jianhao Shen, Gang Xu, Cheng Chi, Qiaohui Feng, Yang Zhou, Yuanzhi Deng, Huajie Wen
Induction Motor Stator Winding Inter-Tern Short Circuit Fault Detection Based on Start-Up Current Envelope Energy. Sensors 23 (20) (2023)
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
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. CoRR (2023)
Qianying Liu, Wenyu Guan, Jianhao Shen, Fei Cheng, Sadao Kurohashi
ComSearch: Equation Searching with Combinatorial Strategy for Solving Math Word Problems with Weak Supervision. EACL (2023)
Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li
Lyra: Orchestrating Dual Correction in Automated Theorem Proving. CoRR (2023)
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
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. EMNLP (2023)
Wei Ju, Junwei Yang, Meng Qu, Weiping Song, Jianhao Shen, Ming Zhang
KGNN: Harnessing Kernel-based Networks for Semi-supervised Graph Classification. WSDM (2022)
Jianhao Shen, Chenguang Wang, Ye Yuan, Jiawei Han, Heng Ji, Koushik Sen, Ming Zhang, Dawn Song
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion. EMNLP (Findings) (2022)
Yifan Wang, Jianhao Shen, Yiping Song, Sheng Wang, Ming Zhang
HE-SNE: Heterogeneous Event Sequence-based Streaming Network Embedding for Dynamic Behaviors. IJCNN (2022)
Jianhao Shen, Chenguang Wang, Linyuan Gong, Dawn Song
Joint Language Semantic and Structure Embedding for Knowledge Graph Completion. CoRR (2022)
Qianying Liu, Wenyu Guan, Jianhao Shen, Fei Cheng, Sadao Kurohashi
ComSearch: Equation Searching with Combinatorial Strategy for Solving Math Word Problems with Weak Supervision. CoRR (2022)
Jianhao Shen, Chenguang Wang, Ye Yuan, Jiawei Han, Heng Ji, Koushik Sen, Ming Zhang, Dawn Song
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion. CoRR (2022)
Jianhao Shen, Chenguang Wang, Linyuan Gong, Dawn Song
Joint Language Semantic and Structure Embedding for Knowledge Graph Completion. COLING (2022)
Wei Ju, Junwei Yang, Meng Qu, Weiping Song, Jianhao Shen, Ming Zhang
KGNN: Harnessing Kernel-based Networks for Semi-supervised Graph Classification. CoRR (2022)
Jianhao Shen, Yichun Yin, Lin Li, Lifeng Shang, Xin Jiang, Ming Zhang, Qun Liu
Generate & Rank: A Multi-task Framework for Math Word Problems. EMNLP (Findings) (2021)
Jianhao Shen, Yichun Yin, Lin Li, Lifeng Shang, Xin Jiang, Ming Zhang, Qun Liu
Generate & Rank: A Multi-task Framework for Math Word Problems. CoRR (2021)
Luchen Liu, Zequn Liu, Haoxian Wu, Zichang Wang, Jianhao Shen, Yiping Song, Ming Zhang
Multi-task Learning via Adaptation to Similar Tasks for Mortality Prediction of Diverse Rare Diseases. CoRR (2020)
Luchen Liu, Zequn Liu, Haoxian Wu, Zichang Wang, Jianhao Shen, Yiping Song, Ming Zhang
Multi-task Learning via Adaptation to Similar Tasks for Mortality Prediction of Diverse Rare Diseases. AMIA (2020)
Zefeng Lu, Ying Xu, Xin Shan, Licai Liu, Xingzheng Wang, Jianhao Shen
A Lane Detection Method Based on a Ridge Detector and Regional G-RANSAC. Sensors 19 (18) (2019)
Yikai Zhu, Jianhao Shen, Ming Zhang
Learning to Answer Ambiguous Questions with Knowledge Graph. CoRR (2019)
Luchen Liu, Jianhao Shen, Ming Zhang, Zichang Wang, Jian Tang
Learning the Joint Representation of Heterogeneous Temporal Events for Clinical Endpoint Prediction. AAAI (2018)
Luchen Liu, Jianhao Shen, Ming Zhang, Zichang Wang, Jian Tang
Learning the Joint Representation of Heterogeneous Temporal Events for Clinical Endpoint Prediction. CoRR (2018)
Jianhao Shen, Guofa Li, Weiquan Yan, Wenjin Tao, Gang Xu, Dongfeng Diao, Paul Green
Nighttime Driving Safety Improvement via Image Enhancement for Driver Face Detection. IEEE Access 6 (2018)
Jianhao Shen, Gang Xu, Ying Xu, Li Qiu, Guofa Li
National instrument-based experimental validation of a nonlinear real-time induction motor model in an EV simulation system. ICIT (2017)