specification-languages

Tag

Cards List
#specification-languages

Toward Safe LLM Agents: A Survey of Specification, Verification, and Enforcement

arXiv cs.AI ↗ · 2026-08-18 Cached

This survey paper reviews 38 studies on safe LLM agents, highlighting key challenges such as specification translation bottlenecks, incomplete safety guarantees from enforcement methods like runtime monitoring, and the verifier tax that impedes safe task completion.

0 favorites 0 likes
← Back to home

Submit Feedback