Author

Albert Wu

h-index 1 View on Semantic Scholar

We have 1 of 6 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Review Sep 2026

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

This work introduces a unified multi-agent framework, MAGS, that generates executable programs with formal safety guarantees, using Dafny as a verification-aware intermediate representation where safety properties can be mechanically checked.

Albert Wu, N. Roberts, Tzu-Heng Huang et al. · 0 citations