TY  - RPRT
TI  - Autoformalization of Agent Instructions into Policy-as-Code
AU  - Adam Mondl
AU  - Matthew Maisel
AU  - John H. Brock
PY  - 2026
UR  - https://arxiv.org/abs/2606.26649
ID  - 2606.26649
ER  -