researcher

Pengcheng Wang

University of Illinois, Urbana Champaign

5 papers hereh-index 3259 citations7 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position

first author1
middle author3

Across the 4 of 5 papers where every author was matched, so the position is known.

fields

affiliations

University of Illinois, Urbana Champaign

Homepage ORCID 0000-0002-4012-9293

same name

Pengcheng Wang — 10 papers, h 2
Pengcheng Wang — 8 papers, h 6
Pengcheng Wang — 7 papers, h 14
Pengcheng Wang — 4 papers, h 2
Pengcheng Wang — 3 papers, h 5
Pengcheng Wang — 3 papers, h 4

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity

20232026

most citedActive Prompting with Chain-of-Thought for Large Language Models

45 citations · 46 across the 5 of their papers we have counts for

collaborators

Showing 2026Show all

3 papers · 1 filter

cs.LG2026

Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation

Ruida Wang, Rui Pan, Pengcheng Wang +2

Enhancing the formal math reasoning capabilities of Large Language Models (LLMs) has become a key focus in both mathematical and computer science communities in recent years. While…

cs.AI2026

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

Ruida Wang, Jerry Huang, Pengcheng Wang +3

Equipping Large Language Models (LLMs) to execute reliable multi-step workflows has become a central challenge in artificial intelligence. Despite recent advances in LLMs' agentic…

cs.CL2026

AgentSPEX: An Agent SPecification and EXecution Language

Pengcheng Wang, Jerry Huang, Jiarui Yao +7

Language-model agent systems commonly rely on reactive prompting, in which a single instruction guides the model through an open-ended sequence of reasoning and tool-use steps, lea…