Department of Computer Science, University of Texas at Austin
Jiayi Wei, Greg Durrett, Isil Dillig
Type inference;Code completion;Static analysis;Transformers;Pre-training
TypeT5: Seq2seq Type Inference using Static Analysis