NOMOS: Compiling Written Policies into Statically Verified Tool-Call Gates for LLM Agents.

arXiv:2610.11030v2 Announce Type: replace-cross Abstract: Tool-using LLM agents violate the policies they are deployed to enforce, often silently. Prior defenses hand-write rules, query an LLM verifier per action, or compile policies through heavyweight formal