04:00
2026-09-17
machinebrief.com
ai-agents
Symbolic Temporal Supervision of LLM Agents Using Contracts
Researchers introduced ContrAgent, a contract-based framework that uses assume-guarantee contracts in linear temporal logic over finite traces (LTLf) to supervise LLM agents, compiling each contract iā¦