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