Pular para o conteúdo

portela.devPesquisa, tecnologia e ideias em movimentoVoltar para portela.dev ↗

R·RADAR ARXIVpor portela.dev

Edições Temas

CARREGANDO O RADAR…

portela.dev ↗

Radar arXiv · Pesquisa antes de virar consenso.

Edições Temas Busca RSS

RADAR ARXIV © 2026

Sungjun Cho | Radar arXiv · portela.dev

REDE DE PESQUISA / AUTOR

Sungjun Cho

1 paper no acervo

PRODUÇÃO

Papers

cs.AI18 de set. de 2026

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

Wu, A.; Roberts, N.; Huang, T.

REDE DE COAUTORIA

Albert Wu · 1 Nicholas Roberts · 1 Tzu-Heng Huang · 1 Haoran Lin · 1 Gil Friedman · 1 Gabriel Orlanski · 1 Frederic Sala · 1