Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

O artigo introduz o Lean4Agent, uma estrutura que utiliza Lean4 para modelagem e verificação formal do comportamento de agentes, especialmente em fluxos de trabalho multi-etapas orientados por LLMs. Ele visa abordar a falta de métodos formais nos sistemas de agentes atuais, permitindo verificações de consistência semântica e a localização de falhas em tempo de execução.