Deep API Programmer: Learning to Program with APIs

Application of theorem proving to problem solving

Cordell Green · 1969

Earlier work this paper cites.

Long short-term memory

Sepp Hochreiter and Jürgen Schmidhuber · 1997

Earlier work this paper cites.

Exploratory data mining and data cleaning

Tamraparni Dasu and Theodore Johnson · 2003

Earlier work this paper cites.

Programming by demonstration using version space algebra

Tessa A. Lau, Steven A. Wolfman, Pedro M. Domingos, and Daniel S. Weld · 2003

Earlier work this paper cites.

Framewise phoneme classification with bidirectional lstm and other neural network architectures

Alex Graves and Jürgen Schmidhuber · 2005

Earlier work this paper cites.

Automating string processing in spreadsheets using input-output examples

Sumit Gulwani · 2011

Earlier work this paper cites.

Wrangler: interactive visual specification of data transformation scripts

Sean Kandel, Andreas Paepcke, Joseph M. Hellerstein, and Jeffrey Heer · 2011

Earlier work this paper cites.

Spreadsheet data manipulation using examples

Sumit Gulwani, William R. Harris, and Rishabh Singh · 2012

Earlier work this paper cites.

Learning semantic string transformations from examples

Rishabh Singh and Sumit Gulwani · 2012

Cited alongside, same era.

Synthesizing number transformations from input-output examples

Rishabh Singh and Sumit Gulwani · 2012

Cited alongside, same era.

Syntax-guided synthesis

Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo MK Martin, Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa · 2013

Cited alongside, same era.

Neural turing machines

Original

Alex Graves, Greg Wayne, and Ivo Danihelka · 2014

Cited alongside, same era.

Adam: A method for stochastic optimization

Original

Diederik Kingma and Jimmy Ba · 2014

Cited alongside, same era.

Flashextract: a framework for data extraction by examples

Inferring algorithmic patterns with stack-augmented recurrent nets

Armand Joulin and Tomas Mikolov · 2015

Later among the works it cites.

Neural gpus learn algorithms

Original

Łukasz Kaiser and Ilya Sutskever · 2015

Later among the works it cites.

Neural random-access machines

Original

Karol Kurach, Marcin Andrychowicz, and Ilya Sutskever · 2015

Later among the works it cites.

Flashmeta: a framework for inductive program synthesis

Oleksandr Polozov and Sumit Gulwani · 2015

Later among the works it cites.

Terpret: A probabilistic programming language for program induction

Original

Alexander L Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, and Daniel Tarlow · 2016

Later among the works it cites.