@misc{george2026verifiable,
  author = {Robert Joseph George},
  title = {{Checking a small transformer in Lean}},
  year = {2026},
  howpublished = {TorchLean Verified Examples},
  url = {https://robertboy18.github.io/TorchLean-Verified-Examples/week-02-verifiable-transformer-checkpoint/}
}