@misc{stephens2026gpt2inferencefromleantowebassemblyandwgslartifactverificationshaderproofsandexecutionevidence,
  title={GPT-2 Inference from Lean to WebAssembly and WGSL: Artifact Verification, Shader Proofs, and Execution Evidence},
  author={Jamie Stephens},
  year={2026},
  eprint={2609.00014},
  archivePrefix={marXiv},
  primaryClass={cs.PL}
}