@misc{indiciae0c1188bad4d7,
  title = {MAGS: Multi-agent Auto-formalization Guarantees Safety for Agentic Outputs},
  author = {Albert Wu and Nicholas Roberts and Tzu-Heng Huang and Haoran Lin and Gil Friedman and Sungjun Cho and Gabriel Orlanski and Frederic Sala},
  year = {2026},
  url = {https://arxiv.org/abs/2609.19391},
  note = {Source identifier: 2609.19391}
}