TY  - RPRT
TI  - Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code
AU  - Brando Miranda
AU  - Avi Shinnar
AU  - Vasily Pestun
AU  - Barry Trager
PY  - 2023
UR  - https://arxiv.org/abs/2304.10500
ID  - 2304.10500
ER  -