@misc{george2026batch,
  author = {Robert Joseph George},
  title = {{Thinking Machines Lab’s batch-invariance problem, formalized}},
  year = {2026},
  howpublished = {TorchLean Verified Examples},
  url = {https://robertboy18.github.io/TorchLean-Verified-Examples/week-01-batch-invariant-inference/}
}