--- title: "Zeyu Zheng — author profile and papers — Elamur Research" description: "Zeyu Zheng, Sir Run Run Shaw Hospital: 3 papers on Elamur Research (2025–2026), h-index 6 — affiliations, topics, co-authors and who…" canonical: "https://research.elamur.ai/free/en/authors/zeyu-zheng/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/zeyu-zheng/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Zeyu Zheng # Zeyu Zheng Zeyu Zheng has 3 papers in our library, in 2025–2026, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Jiachen Zhu](https://md.research.elamur.ai/free/en/authors/jiachen-zhu/), [Jianghao Lin](https://md.research.elamur.ai/free/en/authors/jianghao-lin/), [Rong Shan](https://md.research.elamur.ai/free/en/authors/rong-shan/). 3 papers in our library · 2025–2026 [OpenAlex](https://openalex.org/A5101242361) · [ORCID](https://orcid.org/0000-0001-9615-3586) · [**h-index 6**](https://openalex.org/authors/A5101242361) · [31 works](https://openalex.org/works?filter=author.id:A5101242361) · [127 citations](https://openalex.org/works?filter=author.id:A5101242361&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 3 works in our library](https://md.research.elamur.ai/free/en/authors/zeyu-zheng/#papers) · [🔗 Cited 7 times in our library](https://md.research.elamur.ai/free/en/authors/zeyu-zheng/cited-by/) · [⭐ Paper Stars ranking: #12377](https://md.research.elamur.ai/free/en/paper-stars/page/124/#star-12377) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Zeyu+Zheng) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Zeyu+Zheng) · [dblp](https://dblp.org/search?q=Zeyu+Zheng) · [ACL Anthology](https://aclanthology.org/search/?q=Zeyu+Zheng) ## Affiliations [🎓**Chengdu University of Technology** Chengdu · China 2022–2026 · 4 papers*current*](https://ror.org/05pejbw21) · [🎓**Zhejiang University** Hangzhou · China 2023–2026 · 4 papers*current*](https://md.research.elamur.ai/free/en/universities/zhejiang-university/) · [🎓**Huzhou Normal University** Huzhou · China 2024–2026 · 3 papers*current*](https://md.research.elamur.ai/free/en/universities/huzhou-normal-university/) · [🎓**China Jiliang University** Hangzhou · China 2025–2026 · 2 papers*current*](https://ror.org/05v1y0t93) · [🏥**Sir Run Run Shaw Hospital** Hangzhou · China 2026 · 1 paper*current*](https://ror.org/00ka6rp58) · [🎓**Central South University** Changsha · China 2023–2025 · 3 papers](https://md.research.elamur.ai/free/en/universities/central-south-university/) · [🎓**South China University of Technology** Guangzhou · China 2023–2025 · 3 papers](https://md.research.elamur.ai/free/en/universities/south-china-university-of-technology/) · [🎓**University of Electronic Science and Technology of China** Chengdu · China 2005–2006 · 3 papers](https://md.research.elamur.ai/free/en/universities/university-of-electronic-science-and-technology-of-china/) · [🎓**Henan University of Science and Technology** Luoyang · China 2023–2025 · 2 papers](https://ror.org/05d80kz58) · [🔬**Shenzhen Institutes of Advanced Technology** Shenzhen · China 2023–2025 · 2 papers](https://md.research.elamur.ai/free/en/labs/shenzhen-institutes-of-advanced-technology/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 5 more institutions on single bylines are not listed. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 12 The field of science this work belongs to (OpenAlex fields).[Computer Science · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Business, Management and Accounting · 1 work](https://md.research.elamur.ai/free/en/shelves/business-management-and-accounting/) · [Decision Sciences · 1 work](https://md.research.elamur.ai/free/en/shelves/decision-sciences/) · [Information Systems · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/information-systems/) · [Information Systems and Management · 1 work](https://md.research.elamur.ai/free/en/shelves/decision-sciences/information-systems-and-management/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Management Information Systems · 1 work](https://md.research.elamur.ai/free/en/shelves/business-management-and-accounting/management-information-systems/) · [Safety Research · 1 work](https://md.research.elamur.ai/free/en/shelves/social-sciences/safety-research/) · [Social Sciences · 1 work](https://md.research.elamur.ai/free/en/shelves/social-sciences/) 🧭 Topics 1 Research subjects and languages the work is about.[Reasoning · 2 works](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2026** 2 papers](https://md.research.elamur.ai/free/en/authors/zeyu-zheng/year/2026/) · [**2025** 1 paper](https://md.research.elamur.ai/free/en/authors/zeyu-zheng/year/2025/) ## Papers The most cited first (OpenAlex and our library). 1. **[Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers](https://md.research.elamur.ai/free/en/papers/xin-2025-scaling-up-multi-turn-off/)** *(2025 · 7 citations)* The paper tackles two linked bottlenecks in LLM-based theorem proving for Lean4. In training, reinforcement learning tends to stall after early gains. At inference, the space of possible tactics grows explosively. The authors present BFS-Prover-V2, an open-source step-level prover that treats proving as a Markov… 2. **[A Comprehensive Survey of Process Reward Models: Data Generation, Model Construction, and Usage](https://md.research.elamur.ai/free/en/papers/zheng-2026-comprehensive-survey-process-reward-models/)** *(2026)* Reasoning alignment for LLMs has mostly relied on outcome reward models (ORMs). These judge only the final answer, so an extended chain of thought receives just one coarse signal. This survey covers Process Reward Models (PRMs), which score individual steps or whole trajectories. It frames the field as a cycle… 3. **[Position: Academic Conferences are Potentially Facing Denominator Gaming Caused by Fully Automated Scientific Agents](https://md.research.elamur.ai/free/en/papers/shan-2026-position-academic-conferences-potentially/)** *(2026)* This position paper, presented at ICML 2026, describes a vulnerability the authors call Agentic Conference Denominator Gaming. ## Co-authors here 12 co-authors with a page, the most papers together first. - [Jiachen Zhu](https://md.research.elamur.ai/free/en/authors/jiachen-zhu/) ×2 - [Jianghao Lin](https://md.research.elamur.ai/free/en/authors/jianghao-lin/) ×2 - [Rong Shan](https://md.research.elamur.ai/free/en/authors/rong-shan/) ×2 - [Weinan Zhang](https://md.research.elamur.ai/free/en/authors/weinan-zhang/) ×2 - [Yong Yu](https://md.research.elamur.ai/free/en/authors/yong-yu/) ×2 - [Kangning Zhang](https://md.research.elamur.ai/free/en/authors/kangning-zhang/) - [Mengyue Yang](https://md.research.elamur.ai/free/en/authors/mengyue-yang/) - [Ran Xin](https://md.research.elamur.ai/free/en/authors/ran-xin/) - [Te Gao](https://md.research.elamur.ai/free/en/authors/te-gao/) - [Xia Xiao](https://md.research.elamur.ai/free/en/authors/xia-xiao/) - [Yunjia Xi](https://md.research.elamur.ai/free/en/authors/yunjia-xi/) - [Yuxiang Chen](https://md.research.elamur.ai/free/en/authors/yuxiang-chen/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/): [ACL 2026](https://md.research.elamur.ai/free/en/venues/acl/2026/) ## Cited by Papers of our library cite their works 7 times (of the 149,439 papers whose bibliographies we read); [2 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/zeyu-zheng/cited-by/). Updated 3 November 2026