Jianhao Shen

4 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 ACL ×1 ICLR ×1 NAACL ×1

Frequent coauthors

Ming Zhang

×4

Ye Yuan

×3

Chenguang Wang

×2

Chengwu Liu

×1

Yichun Yin

×1

Jiaxuan Xie

×1

Botao Li

×1

Siqi Li

×1

Yan Xu

×1

Lifeng Shang

×1

Wei Ju

×1

Zhengyang Mao

×1

Papers

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
ACL 2026 ·
Chengwu Liu
,
Yichun Yin
,
Ye Yuan
,
Jiaxuan Xie
,
Botao Li
,
Siqi Li
, Jianhao Shen,
Yan Xu
,
Lifeng Shang
,
Ming Zhang
Cluster-guided Contrastive Class-imbalanced Graph Classification
AAAI 2025 ·
Wei Ju
,
Zhengyang Mao
,
Siyu Yi
,
Yifang Qin
,
Yiyang Gu
,
Zhiping Xiao
, Jianhao Shen,
Ziyue Qiao
,
Ming Zhang
Measuring Social Norms of Large Language Models
NAACL 2024 ·
Ye Yuan
,
Kexin Tang
, Jianhao Shen,
Ming Zhang
,
Chenguang Wang
Measuring Vision-Language STEM Skills of Neural Models
ICLR 2024 · Jianhao Shen,
Ye Yuan
,
Srbuhi Mirzoyan
,
Ming Zhang
,
Chenguang Wang