RESEARCHInvestigateNEXT 12 MONTHS
NOMOS: Compiling Written Policies into Statically Verified Tool-Call Gates for LLM Agents
arXiv cs.LG — Machine Learning
Factual evidence
What the source reports
Researchers introduced NOMOS, a compiler that converts natural-language policy documents into deterministic tool-call gates for LLM agents.
Inspect the evidence
- Inclusion basis
- Enterprise AI
- Publisher and source type
- arXiv cs.LG — Machine Learning · RESEARCH
- Published by source
- 9 October 2026
- Collected by OneBench
- 10 Oct 2026, 03:02 UK
Stored source excerpt
arXiv: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…
Short excerpt from the collected text, not the full source. Use the source link to read it in context.
The factual summary is a OneBench synthesis, not a quotation or independent verification. Collection time is not publication time. Open the source for its full context; related reporting can share the same underlying announcement.