TY  - RPRT
TI  - NOMOS: Compiling Written Policies into Statically Verified Tool-Call Gates for LLM Agents
AU  - Min-Young Yu
AU  - Tony Kim
AU  - Jang Won Choi
PY  - 2026
DO  - 10.5281/zenodo.22123420
UR  - https://arxiv.org/abs/2610.11030
ID  - 2610.11030
ER  -