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. Common approaches, including fuzz testing, sta