01Entry
MAGS: Multi-agent Auto-formalization Guarantees Safety for Agentic Outputs
Multi-agent auto-formalization claims formal safety guarantees for agentic outputs — worth a look if you need verifiable agent behavior beyond prompt-level guardrails.