TY  - RPRT
TI  - Do Machine Learning Models Produce TypeScript Types That Type Check?
AU  - Ming-Ho Yee
AU  - Arjun Guha
PY  - 2023
DO  - 10.4230/lipics.ecoop.2023.37
UR  - https://arxiv.org/abs/2302.12163
ID  - 2302.12163
ER  -