arxiv:2412.11006
Pengcheng Wang
PengchengW
AI & ML interests
None yet
Recent Activity
upvoted a paper about 10 hours ago
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory upvoted a paper about 1 month ago
Recursive Multi-Agent Systems