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
models 0
None public yet
datasets 0
None public yet