@misc{george2026kimi,
  author = {Robert Joseph George},
  title = {{Kimi K3: the paper and proofs side by side}},
  year = {2026},
  howpublished = {TorchLean Verified Examples},
  url = {https://robertboy18.github.io/TorchLean-Verified-Examples/week-04-kimi-k3-specification/site/}
}