Type: url
Original: https://arxiv.org/abs/2503.18666
Status: generated
Summary
The arXiv abstract page for AgentSpec, a lightweight domain-specific language for specifying and enforcing runtime constraints on LLM agents through rules made of triggers, predicates and enforcement mechanisms. The authors report that it prevents unsafe executions in over 90% of code-agent cases, eliminates hazardous actions in embodied-agent tasks and achieves 100% compliance for autonomous vehicles with millisecond overheads, and that rules generated by OpenAI o1 reach 95.56% precision and 70.96% recall for embodied agents. The paper was accepted at ICSE 2026.