Fetching the paper…
Reading the bibliography…
Recent years have seen the proposal of a number of neural architectures for the problem of Program Induction.
A methodology for lisp program construction from examples
Summers, Phillip D · 1977
Earlier work this paper cites.
The inference of regular lisp programs from examples
Biermann, Alan W · 1978
Earlier work this paper cites.
Programming by sketching for bit-streaming programs
Solar-Lezama, Armando, Rabbah, Rodric, Bodik, Rastislav, and Ebcioglu, Kemal · 2005
Earlier work this paper cites.
Program Synthesis By Sketching
Solar-Lezama, Armando · 2008
Earlier work this paper cites.
Learning programs: A hierarchical Bayesian approach
Liang, Percy, Jordan, Michael I., and Klein, Dan · 2010
Earlier work this paper cites.
Automating string processing in spreadsheets using input-output examples
Gulwani, Sumit · 2011
Earlier work this paper cites.
Synthesis of loop-free programs
Gulwani, Sumit, Jha, Susmit, Tiwari, Ashish, and Venkatesan, Ramarathnam · 2011
Earlier work this paper cites.
Synthesizing data structure manipulations from storyboards
Singh, Rishabh and Solar-Lezama, Armando · 2011
Earlier work this paper cites.
Spreadsheet data manipulation using examples
Gulwani, Sumit, Harris, William, and Singh, Rishabh · 2012
Earlier work this paper cites.
Bidirectional recursive neural networks for token-level labeling with structure
Irsoy, Orzan and Cardie, Claire · 2013
Earlier work this paper cites.
A machine learning framework for programming by example
Menon, Aditya Krishna, Tamuz, Omer, Gulwani, Sumit, Lampson, Butler W., and Kalai, Adam · 2013
Cited alongside, same era.
Stochastic superoptimization
Schkufza, Eric, Sharma, Rahul, and Aiken, Alex · 2013
Cited alongside, same era.
Automated feedback generation for introductory programming assignments
Singh, Rishabh, Gulwani, Sumit, and Solar-Lezama, Armando · 2013
Cited alongside, same era.
TRANSIT: specifying protocols with concolic snippets
Udupa, Abhishek, Raghavan, Arun, Deshmukh, Jyotirmoy V., Mador-Haim, Sela, Martin, Milo M. K., and Alur, Rajeev · 2013
Cited alongside, same era.
Graves, Alex, Wayne, Greg, and Danihelka, Ivo · 2014
Cited alongside, same era.
The inside-outside recursive neural network model for dependency parsing
Kurach, Karol, Andrychowicz, Marcin, and Sutskever, Ilya · 2015
Later among the works it cites.
Neural programmer: Inducing latent programs with gradient descent
Neelakantan, Arvind, Le, Quoc V, and Sutskever, Ilya · 2015
Later among the works it cites.
Predicting program properties from ”big code”
Raychev, Veselin, Vechev, Martin T., and Krause, Andreas · 2015
Later among the works it cites.
Neural programmer-interpreters
Reed, Scott and de Freitas, Nando · 2015
Later among the works it cites.
Grammar as a foreign language
Vinyals, Oriol, Kaiser, Lukasz, Koo, Terry, Petrov, Slav, Sutskever, Ilya, and Hinton, Geoffrey · 2015
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Le, Phong and Zuidema, Willem · 2014
Cited alongside, same era.
Structured generative models of natural source code
Maddison, Chris J and Tarlow, Daniel · 2014
Cited alongside, same era.
Global belief recursive neural networks
Paulus, Romain, Socher, Richard, and Manning, Christopher D · 2014
Cited alongside, same era.
Syntax-guided synthesis
Alur, Rajeev, Bodík, Rastislav, Dallal, Eric, Fisman, Dana, Garg, Pranav, Juniwal, Garvit, Kress-Gazit, Hadas, Madhusudan, P., Martin, Milo M. K., Raghothaman, Mukund, Saha, Shamwaditya, Seshia, Sanjit A., Singh, Rishabh, Solar-Lezama, Armando, Torlak, Emina, and Udupa, Abhishek · 2015
Cited alongside, same era.
Inferring algorithmic patterns with stack-augmented recurrent nets
Joulin, Armand and Mikolov, Tomas · 2015
Cited alongside, same era.
PHOG: probabilistic model for code
Bielik, Pavol, Raychev, Veselin, and Vechev, Martin T · 2016
Closest in time.
Bunel, Rudy, Desmaison, Alban, Kohli, Pushmeet, Torr, Philip H. S., and Kumar, M. Pawan · 2016
Closest in time.
Terpret: A probabilistic programming language for program induction
Gaunt, Alexander L, Brockschmidt, Marc, Singh, Rishabh, Kushman, Nate, Kohli, Pushmeet, Taylor, Jonathan, and Tarlow, Daniel · 2016
Closest in time.
On the naturalness of software
Hindle, Abram, Barr, Earl T., Gabel, Mark, Su, Zhendong, and Devanbu, Premkumar T · 2016
Closest in time.
Programming with a differentiable forth interpreter
Riedel, Sebastian, Bosnjak, Matko, and Rocktäschel, Tim · 2016
Closest in time.