Poster · Atlanta

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

Name: Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
Start: 2026-12-11T16:30:00-05:00
End: 2026-12-11T19:30:00-05:00
Location: Hall C1, Georgia World Congress Center

When: Fri 11 Dec 2026, 16:30–19:30 EST
Where: Hall C1, Georgia World Congress Center
Session: Atlanta Poster Session 6
Authors: Ruida Wang, Jerry Huang, Pengcheng Wang, Xuanqing Liu, Chris Kong, Tong Zhang
Organisations: University of Illinois Urbana-Champaign, Amazon
QRS classification: Agentic AI, Language models

Open in schedule Official page