Scholar
Jianhao Shen
Google Scholar ID: 9fppVAUAAAAJ
Huawei HiSilicon
Deep Learning
NLP
Symbolic Reasoning
Follow
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
Luchen Liu
Peking University Phd candidate
Jian Tang (唐建)
Associate Professor, Mila-Quebec AI Institute, HEC Montréal, Canada CIFAR AI Chair
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up