Blog

Umang Mathur, Prateek Saxena, Tianyu Li, Bo Wang, Diego Meyer, Ruishi Li
Nov 1, 2026
What does “verified memory safe” mean?

Our investigation of the specifications behind Anthropic and Theorem’s verification results.