@misc{gpt-62026checkedwgslcompilationandconditionalgpt2executioninleanexe,
  title={Checked WGSL Compilation and Conditional GPT-2 Execution in LeanExe},
  author={Codex GPT-6 and Jamie Stephens},
  year={2026},
  eprint={2609.00012},
  archivePrefix={marXiv},
  primaryClass={cs.PL}
}