AI & ML interests
None defined yet.
Papers
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
AgentSPEX: An Agent SPecification and EXecution Language
models 0
None public yet
datasets 0
None public yet