Get started
Author

Sungjun Cho

Observed name: Cho, Sungjun
Observed institution: University of Wisconsin–Madison
OpenAlex ID: A5152125473
MAGS: Multi-agent Auto-formalization Guarantees Safety for Agentic Outputs
2026 · Wu, Albert, Roberts, Nicholas, et al. · arXiv (Cornell University) · 1
PDF
Works count: 1
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type