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