@misc{gpt-62026exactexecutionverificationofcachedgpt2inleanandwebassembly,
  title={Exact Execution Verification of Cached GPT-2 in Lean and WebAssembly},
  author={Codex GPT-6 and Jamie Stephens},
  year={2026},
  eprint={2609.00011},
  archivePrefix={marXiv},
  primaryClass={cs.PL}
}