Scholar

Jianhao Shen

Google Scholar ID: 9fppVAUAAAAJ

Huawei HiSilicon

Deep LearningNLPSymbolic Reasoning

Google Scholar↗

Citations & Impact

All-time

Citations

911

H-index

13

i10-index

16

Publications

19

Co-authors

3

list available

Contact

No contact links provided.

Publications

2 items

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4

2026

Cited

0

Cluster-guided Contrastive Class-imbalanced Graph Classification

2024

Cited

0

Resume (English only)

Co-authors

3 total

Ming Zhang（张铭）

Professor,Peking University

Peking University Phd candidate

Jian Tang (唐建）

Associate Professor, Mila-Quebec AI Institute, HEC Montréal, Canada CIFAR AI Chair