--- title: "Who cites Huishuai Zhang — 16 papers of our library" description: "16 papers of the Elamur Research library cite the works of Huishuai Zhang, found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/authors/huishuai-zhang/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/huishuai-zhang/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Huishuai Zhang](https://md.research.elamur.ai/free/en/authors/huishuai-zhang/) / cited by # Who cites Huishuai Zhang 16 citations of their works from 16 papers of our library (of the 149,439 whose bibliographies we read) · 4 with a page here, the most cited first · [← Huishuai Zhang](https://md.research.elamur.ai/free/en/authors/huishuai-zhang/) 1. [**Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction arXiv:2508.03613**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 67 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-v2-scaling-formal/) 2. [**Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience arXiv:2512.17260**Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.*2025 · 19 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/) 3. [**Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving arXiv:2512.10739**Yuzhe Gu, Songyang Gao, Zijian Wu, et al.*2025 · 1 citation*](https://md.research.elamur.ai/free/en/papers/gu-2025-intern-s1-mo-long/) 4. **[Learning from Cognition: Enhancing RL Efficiency for LLM Reasoning via Hierarchical Metacognitive Decomposition and Refinement](https://md.research.elamur.ai/free/en/papers/sun-2026-learning-cognition-enhancing-rl-efficiency/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zexu Sun, Yongcheng Zeng, Erxue Min, et al.*2026* 12 more citing papers of our library have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/authors/huishuai-zhang/) — Huishuai Zhang