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 cs.AIShow all

1 paper · 1 filter

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…