@misc{indiciaeca19b977f9af,
  title = {Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure},
  author = {Dominik Blain},
  year = {2026},
  url = {https://arxiv.org/abs/2604.20496},
  note = {Source identifier: 2604.20496}
}