Brando MirandaAvi ShinnarVasily PestunBarry M. TragerTransformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code.2023abs/2304.10500CoRRhttps://doi.org/10.48550/arXiv.2304.10500db/journals/corr/corr2304.html#abs-2304-10500