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