@misc{indiciae3a7c18caac80,
  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},
  url = {https://arxiv.org/abs/2304.10500},
  note = {Source identifier: 2304.10500}
}