Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Jianqiu Zhao · SciRah

Researcher profile · Semantic Scholar

Jianqiu Zhao

Share profile

Jianqiu Zhao — researcher profile on SciRah

h-index: 2
Works: 3
Citations: 148

Most-cited papers

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Luoxin Chen, Jinming Gu, Liankai Huang, Wen-Hao Huang +32 more
2025arXiv.org111 citations
Semantic Scholar
Solving Formal Math Problems by Decomposition and Iterative Reflection
Yichi Zhou, Jianqiu Zhao, Yong-Xin Zhang, Bo-Han Wang +13 more
2025arXiv.org41 citations
Semantic Scholar
Incremental Live Programming via Shortcut Memoization
Marisa Kirisame, Thomas J. Porter, Ruqing Yang, Jianqiu Zhao +4 more
2026arXiv.org0 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

Allan Jie×2
Invite
Allan Jie — researcher profile on SciRah
Jiahui Wang×2
Invite
Jiahui Wang — researcher profile on SciRah
Si-Ran Wang×2
Invite
Si-Ran Wang — researcher profile on SciRah
Yichi Zhou×2
Invite
Yichi Zhou — researcher profile on SciRah

×1

Invite

Luoxin Chen — researcher profile on SciRah

Invite

Jinming Gu — researcher profile on SciRah

Liankai Huang×1

Invite

Liankai Huang — researcher profile on SciRah

Wen-Hao Huang×1

Invite

Wen-Hao Huang — researcher profile on SciRah

Zhicheng Jiang×1

Invite

Zhicheng Jiang — researcher profile on SciRah

Invite

Xiaoran Jin — researcher profile on SciRah

Invite

Xing Jin — researcher profile on SciRah

Cheng-Gang Li×1

Invite

Cheng-Gang Li — researcher profile on SciRah