Jianhao Shen

Identifiers

• name variant Jianhao Shen 0.60 · backfill

Papers (4)

1. Symplectic lattice counting and zeta functions of higher Heisenberg groups math.GR · 2026 · author #1
2. Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 cs.AI · 2026 · author #7
3. Edge Zeta Functions and Eigenvalues for Buildings of Finite Groups of Lie Type math.CO · 2024 · author #1
4. Learning the Joint Representation of Heterogeneous Temporal Events for Clinical Endpoint Prediction cs.AI · 2018 · author #2

Mentions

• 2605.23003 #1 · arxiv_oai · confidence 0.70 Jianhao Shen

Frequent Coauthors

• Ming Zhang 2 shared papers
• Botao Li 1 shared papers
• Chengwu Liu 1 shared papers
• Christopher Voll 1 shared papers
• Jian Tang 1 shared papers
• Jiaxuan Xie 1 shared papers
• Lifeng Shang 1 shared papers
• Luchen Liu 1 shared papers
• Siqi Li 1 shared papers
• Yan Xu 1 shared papers
• Ye Yuan 1 shared papers
• Yichun Yin 1 shared papers
• Zichang Wang 1 shared papers