@article{typet5seq2seqtypeinferenceusingstatic,
  title = {TypeT5: Seq2seq Type Inference using Static Analysis},
  author = {Jiayi Wei and Greg Durrett and Isil Dillig},
  year = {2023},
  eprint = {2303.09564},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2303.09564v1},
}