OptTyper: Probabilistic Type Inference by Optimising Logical and Natural
Constraints

v1v2v3 (latest)

OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints

1 April 2020

Irene Vlassi Pandi

Andrew D. Gordon

ArXiv (abs)PDF HTML

Papers citing "OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints"

5 / 5 papers shown

Title
Typilus: Neural Type Hints Miltiadis Allamanis Earl T. Barr Soline Ducousso Zheng Gao 131 134 0 06 Apr 2020
Learning Explanatory Rules from Noisy Data Richard Evans Edward Grefenstette 132 487 0 13 Nov 2017
Learning to Represent Programs with Graphs Miltiadis Allamanis Marc Brockschmidt Mahmoud Khademi GNN NAI 123 804 0 01 Nov 2017
A Survey of Machine Learning for Big Code and Naturalness Miltiadis Allamanis Earl T. Barr Premkumar T. Devanbu Charles Sutton 119 860 0 18 Sep 2017
Hinge-Loss Markov Random Fields and Probabilistic Soft Logic Stephen H. Bach Matthias Broecheler Bert Huang Lise Getoor TPM AI4CE 118 388 0 17 May 2015