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

Albert Wu, Nicholas Roberts, Tzu-Heng Huang +5

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 approac…