Tag
This paper presents an autoformalization pipeline that translates agent prompts, MCP tool descriptions, and natural language policy documents into formally verified policies using an LLM-based generator-critic loop, achieving better coverage than hand-coded enforcement on MedAgentBench.
The article highlights the risk of AI agents performing destructive actions like deleting databases and proposes a Runtime Policy Gateway that uses Policy-as-Code to intercept and block non-compliant agent actions in real time, asking if users would adopt such a security tool.
This article explains how to safely automate Terraform auto-apply using conftest, a policy-as-code tool based on Open Policy Agent, by evaluating Terraform plans deterministically with Rego policies to eliminate human review bottlenecks while maintaining auditability.
This paper reformulates hospital mechanism design as program synthesis for language models, using a multi-agent simulator (Medi-Sim) to evaluate policy rules under strategic provider responses. It demonstrates pressure migration across provider channels and synthesizes an inspectable mixed-objective program that reduces up-coding and rejection while retaining funds.
This paper presents CUGA's policy system, a modular policy-as-code layer that enforces governance at multiple checkpoints in LLM agent execution, enabling predictable and auditable behavior without model fine-tuning.