#formal-methods
Every summary, chronological. Filter by category, tag, or source from the rail.
Tag · #formal-methods
MAGS: Ensuring AI Agent Safety via Multi-Agent Auto-formalization
MAGS introduces a multi-agent framework that uses auto-formalization to translate natural language agent outputs into verifiable code, ensuring safety and correctness before execution.
arXiv cs.AI
Showing 1 of 1