Elamur Research⌕
☰
home / authors / Wenxiang Chen

Wenxiang Chen

Wenxiang Chen has 2 papers in our library, in 2023–2025, most of them on Reasoning; often with Enyu Zhou, Jiangjie Chen, Jinyi Hu.

2 papers in our library · 2023–2025

OpenAlex · ORCID · h-index 12 · 251 works · 1,647 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 440 times in our library · 2 more in our library without a page yet · ⭐ Paper Stars ranking: #2064

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

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 9 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 5The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksArts and Humanities · 1 workLanguage and Linguistics · 1 workComputational Theory and Mathematics · 1 work

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

💡 Concepts 1Key ideas and methods explained on our concept pages.Large language models · 1 work

 Works by year

2020s

 Papers

The most cited first (OpenAlex and our library).

  1. The Rise and Potential of Large Language Model Based Agents: A Survey (2023 · 1,272 citations)
    This 2023 survey from the Fudan NLP Group maps the young field of agents built on large language models. The authors argue that earlier agent research mostly tuned algorithms for narrow skills, such as symbolic reasoning or board games like Go and Chess. What the field lacked was a general base model that agents…
  2. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience (2025 · 19 citations)
    Seed-Prover 1.5 (ByteDance Seed AI4Math) asks whether formal theorem proving in Lean can match the progress of natural-language LLM proving without large compute costs.

All works

4 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them.

  1. Training Large Language Models for Reasoning through Reverse Curriculum Reinforcement Learning ↗arXiv:2402.05808 · no summary yetZhiheng Xi et al.2024 · 36 citations
  2. AgentGym: Evolving Large Language Model-based Agents across Diverse Environments ↗arXiv:2406.04151 · no summary yetZhiheng Xi et al.2024 · 33 citations
  3. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperiencearXiv:2512.17260Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.2025 · 19 citations

 Co-authors here

12 of 13 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 440 times (of the 149,439 papers whose bibliographies we read); 92 citing papers with a page here →.

Updated

↑ back to top

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