TY  - RPRT
TI  - Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure
AU  - Dominik Blain
PY  - 2026
UR  - https://arxiv.org/abs/2604.20496
ID  - 2604.20496
ER  -