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