NOMOS: Compiling Written Policies into Statically Verified Tool-Call Gates for LLM Agents
DGX agentarXiv:2610.11030v1 Announce Type: 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 ac