Symbolic Temporal Supervision of LLM Agents Using Contracts

Yifeng Xiao, Pierluigi Nuzzo

Large language model (LLM) agents augmented by tools can automate complex, multi-step tasks, such as web navigation, code generation, and workflow orchestration, by acting on exter…