AI & ML interests
None defined yet.
Papers
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
AgentSPEX: An Agent SPecification and EXecution Language
UIUC-ScaleML 's models
None public yet