판 이력 — MAGS: Multi-agent Auto-formalization Guarantees Safety for Agentic Outputs | AIChainDay