Elamur Research⌕
☰
home / authors / Zeyu Zheng

Zeyu Zheng

Zeyu Zheng has 3 papers in our library, in 2025–2026, most of them on Reasoning; often with Jiachen Zhu, Jianghao Lin, Rong Shan.

3 papers in our library · 2025–2026

OpenAlex · ORCID · h-index 6 · 31 works · 127 citations OpenAlex, 2026-10-14

📄 3 works in our library · 🔗 Cited 7 times in our library · ⭐ Paper Stars ranking: #12377

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓Chengdu University of TechnologyChengdu · China2022–2026 · 4 paperscurrent🎓Zhejiang UniversityHangzhou · China2023–2026 · 4 paperscurrent🎓Huzhou Normal UniversityHuzhou · China2024–2026 · 3 paperscurrent🎓China Jiliang UniversityHangzhou · China2025–2026 · 2 paperscurrent🏥Sir Run Run Shaw HospitalHangzhou · China2026 · 1 papercurrent🎓Central South UniversityChangsha · China2023–2025 · 3 papers🎓South China University of TechnologyGuangzhou · China2023–2025 · 3 papers🎓University of Electronic Science and Technology of ChinaChengdu · China2005–2006 · 3 papers🎓Henan University of Science and TechnologyLuoyang · China2023–2025 · 2 papers🔬Shenzhen Institutes of Advanced TechnologyShenzhen · China2023–2025 · 2 papers

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 12The field of science this work belongs to (OpenAlex fields).Computer Science · 3 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 1 workArts and Humanities · 1 workBusiness, Management and Accounting · 1 workDecision Sciences · 1 workInformation Systems · 1 workInformation Systems and Management · 1 workLanguage and Linguistics · 1 workManagement Information Systems · 1 workSafety Research · 1 workSocial Sciences · 1 work

🧭 Topics 1Research subjects and languages the work is about.Reasoning · 2 works

 Works by year

2020s

20262 papers20251 paper

 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 (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 (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 (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.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 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 →.

Updated

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/zeyu-zheng/