Tag
This paper presents ContrAgent, a contract-based framework for symbolic temporal supervision of LLM agents that ensures deterministic safety checks both online and offline with low latency.