@misc{phuong2022formal,
  title={Formal Algorithms for Transformers},
  author={Mary Phuong and Marcus Hutter},
  year={2022},
  eprint={2207.09238},
  archivePrefix={arXiv},
  primaryClass={cs.LG},
  url={https://arxiv.org/abs/2207.09238}
}