@article{typepredictionwithprogramdecomposition,
  title = {Type Prediction With Program Decomposition and Fill-in-the-Type Training},
  author = {Federico Cassano and Ming-Ho Yee and Noah Shinn and Arjun Guha and Steven Holtzen},
  year = {2023},
  eprint = {2305.17145},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2305.17145v1},
}