Hongyu (Charlie) ChenEventsAI Safety Thursdays - Formal Containment: Proof-Carrying Code and AI Safety 2025-06-26