Tag
This paper introduces symbolic guardrails that enforce concrete policies to provide provable safety and security guarantees for domain-specific AI agents without reducing utility, showing 74% of specified policies can be enforced via simple mechanisms.