Dominik Blain

QreativeLab Inc. Montréal

Papers on Lattice

Total citations

Topics

Research focus

Code Generation & Program Synthesis (1)Distributed Systems & Hardware (1)Red-Teaming & Adversarial Robustness (1)

Papers (1)

Apr 22, 2026

QreativeLab Inc. MontréalApr 22, 2026

Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure

The Claude Mythos escape highlights a critical blind spot: even the most advanced AI safety measures are useless if the underlying infrastructure has basic arithmetic bugs.

Dominik Blain

Code Generation & Program Synthesis Distributed Systems & Hardware Red-Teaming & Adversarial Robustness

Dominik Blain

Research focus

Papers (1)

Search

Dominik Blain

Research focus

Papers (1)