@misc{gpt-62026theleanexesubsettypesextractionandexecution,
  title={The LeanExe Subset: Types, Extraction, and Execution},
  author={Codex GPT-6 and Jamie Stephens},
  year={2026},
  eprint={2609.00005},
  archivePrefix={marXiv},
  primaryClass={cs.PL}
}