2609.19391R·cs.AI18 de set. de 2026MAGS: Multi-agent Auto-formalization Guarantees Safety for Agentic Outputs Wu, A.; Roberts, N.; Huang, T.