@article{transformermodelsfortypeinferenceinthe,
  title = {Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code},
  author = {Brando Miranda and Avi Shinnar and Vasily Pestun and Barry Trager},
  year = {2023},
  eprint = {2304.10500},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2304.10500v1},
}