MAGS: Multi-agent Auto-formalization Guarantees Safety for Agentic Outputs

arXiv:2609.19391v1 Announce Type: new Abstract: LLM coding agents now generate complex programs at a scale that makes thorough human review increasingly difficult, raising the risk of safety and security failures.