LambdaNet: Probabilistic Type Inference using Graph Neural Networks

1 code implementation • ICLR 2020 • Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig

Given this program abstraction, we then use a graph neural network to propagate information between related type variables and eventually make type predictions.

Code Completion Vocal Bursts Type Prediction