Jianhao Shen

Researcher, Huawei Technologies Ltd.

Joined

July 2019

Names

Jianhao Shen

Emails

****@pku.edu.cn (Confirmed)

****@gmail.com (Confirmed)

Personal Links

Google Scholar

DBLP

Career & Education History

Researcher

Huawei Technologies Ltd. (huawei.com)

2023 – 2026

PhD student

Peking University (pku.edu.cn)

2018 – 2023

Undergrad student

Peking University (pku.edu.cn)

2014 – 2018

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

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
- AAAI 2025
- Readers: Everyone
Process-Driven Autoformalization in Lean 4
Jianqiao Lu, Yingjia Wan, Zhengying Liu, Yinya Huang, Jing Xiong, Liu Chengwu, Jianhao Shen, Hui Jin, Jipeng Zhang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo
- Submitted to ICLR 2025
- Readers: Everyone
Lyra: Orchestrating Dual Correction in Automated Theorem Proving
Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li
- Accepted by TMLR
- Readers: Everyone
A Comprehensive Survey on Deep Graph Representation Learning
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
- Neural Networks 2024
- Readers: Everyone
Lyra: Orchestrating Dual Correction in Automated Theorem Proving
Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li
- Trans. Mach. Learn. Res. 2024
- Readers: Everyone
Measuring Social Norms of Large Language Models
Ye Yuan, Kexin Tang, Jianhao Shen, Ming Zhang, Chenguang Wang
- NAACL-HLT (Findings) 2024
- Readers: Everyone
Measuring Vision-Language STEM Skills of Neural Models
Jianhao Shen, Ye Yuan, Srbuhi Mirzoyan, Ming Zhang, Chenguang Wang
- ICLR 2024
- Readers: Everyone
Measuring Vision-Language STEM Skills of Neural Models
Jianhao Shen, Ye Yuan, Srbuhi Mirzoyan, Ming Zhang, Chenguang Wang
- ICLR 2024 poster
- Readers: Everyone
Lyra: Orchestrating Dual Correction in Automated Theorem Proving
Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li
- Submitted to ICLR 2024
- Readers: Everyone
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
- EMNLP 2023 Main
- Readers: Everyone

View all 21 publications

Co-Authors

View all 67 co-authors