Hugging Face's logo
Pengcheng Wang's picture

Pengcheng Wang

PengchengW
12
BiboyQG's profile picture research4pan's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 4 days ago
Lean4AgenticRL: Advancing Agentic RL with Verifiable Multi-level Process Rewards
upvoted a paper 19 days ago
MotorMind: Scaffolding General Vision Language Models for Zero-Shot Robot Manipulation
upvoted a paper 5 months ago
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
View all activity

Organizations

University of Illinois at Urbana-Champaign's profile picture University of Illinois at Urbana-Champaign's profile picture UIUC ScaleML Lab's profile picture webgym-dev's profile picture Games++'s profile picture