TY  - RPRT
TI  - MAGS: Multi-agent Auto-formalization Guarantees Safety for Agentic Outputs
AU  - Albert Wu
AU  - Nicholas Roberts
AU  - Tzu-Heng Huang
AU  - Haoran Lin
AU  - Gil Friedman
AU  - Sungjun Cho
AU  - Gabriel Orlanski
AU  - Frederic Sala
PY  - 2026
UR  - https://arxiv.org/abs/2609.19391
ID  - 2609.19391
ER  -