@misc{george2026gpt,
  author = {Robert Joseph George},
  title = {{Training a GPT-2-style model in Lean}},
  year = {2026},
  howpublished = {TorchLean Verified Examples},
  url = {https://robertboy18.github.io/TorchLean-Verified-Examples/week-03-gpt-training/}
}