Autoformalization of Agent Instructions into Policy-as-Code

Adam Mondl, Matthew Maisel, John H. Brock

Agent safety in high-stakes domains requires formal policy enforcement, but most existing approaches either rely on probabilistic guardrails (fine-tuned classifiers, prompt-based s…