34 citations · 92 across the 7 of their papers we have counts for
3 papers · 1 filter
Program Synthesis with Large Language Models
Jacob Austin, Augustus Odena, Maxwell Nye +8
This paper explores the limits of the current generation of large language models for program synthesis in general purpose programming languages. We evaluate a collection of such m…
OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints
Irene Vlassi Pandi, Earl T. Barr, Andrew D. Gordon +1
We present a new approach to the type inference problem for dynamic languages. Our goal is to combine \emph{logical} constraints, that is, deterministic information from a type sys…
Learning to Represent Programs with Property Signatures
Augustus Odena, Charles Sutton
We introduce the notion of property signatures, a representation for programs and program specifications meant for consumption by machine learning algorithms. Given a function with…