Royce Moon
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
AI×1Crypto×1Software Eng.×1
Frequent co-authors
Research Timeline
2026
Containment Verification: AI Safety Guarantees Independent of Alignment
The paper introduces containment verification, a novel method that provides safety guarantees by formally verifying the agentic framework itself, ensuring safety regardless of the underlying AI model's capabilities.
Highlighted terms show continued research focus across papers