Fetching the paper…
Reading the bibliography…
Given that in practice training data is scarce for all but a small set of problems, a core question is how to incorporate prior knowledge into a model.
Toward automatic program synthesis
Manna, Zohar and Waldinger, Richard J · 1971
Earlier work this paper cites.
Symbolic Execution and Program Testing
King, James C · 1976
Earlier work this paper cites.
Starting Forth
Brodie, Leo · 1980
Earlier work this paper cites.
Genetic Programming: On the Programming of Computers by Means of Natural Selection , volume 1
Koza, John R · 1992
Earlier work this paper cites.
Programming Languages - Forth , 1994
ANSI · 1994
Earlier work this paper cites.
Neural Programming Language
Siegelmann, Hava T · 1994
Earlier work this paper cites.
A Neural compiler
Gruau, Frédéric, Ratajszczak, Jean-Yves, and Wiber, Gilles · 1995
Earlier work this paper cites.
Long short-term memory
Hochreiter, Sepp and Schmidhuber, Jürgen · 1997
Earlier work this paper cites.
Evolutionary Program Induction of Binary Machine Code and its Applications
Nordin, Peter · 1997
Earlier work this paper cites.
Learning repetitive text-editing procedures with smartedit
Lau, Tessa, Wolfman, Steven A., Domingos, Pedro, and Weld, Daniel S · 2001
Earlier work this paper cites.
Programming by Sketching for Bit-streaming Programs
Solar-Lezama, Armando, Rabbah, Rodric, Bodík, Rastislav, and Ebcioğlu, Kemal · 2005
Earlier work this paper cites.
Combinatorial Sketching for Finite Programs
Solar-Lezama, Armando, Tancau, Liviu, Bodik, Rastislav, Seshia, Sanjit, and Saraswat, Vijay · 2006
Earlier work this paper cites.
Church: a language for generative models
Goodman, Noah, Mansinghka, Vikash, Roy, Daniel M, Bonawitz, Keith, and Tenenbaum, Joshua B · 2008
Cited alongside, same era.
Inductive Programming: A Survey of Program Synthesis Techniques
Kitzelmann, Emanuel · 2009
Cited alongside, same era.
Recursive program synthesis
Albarghouthi, Aws, Gulwani, Sumit, and Kincaid, Zachary · 2013
Cited alongside, same era.
Graves, Alex, Wayne, Greg, and Danihelka, Ivo · 2014
Cited alongside, same era.
Learning to Automatically Solve Algebra Word Problems
Kushman, Nate, Artzi, Yoav, Zettlemoyer, Luke, and Barzilay, Regina · 2014
Cited alongside, same era.
Sequence to Sequence Learning with Neural Networks
Sutskever, Ilya, Vinyals, Oriol, and Le, Quoc V · 2014
Cited alongside, same era.
Parsing Algebraic Word Problems into Equations
Koncel-Kedziorski, Rik, Hajishirzi, Hannaneh, Sabharwal, Ashish, Etzioni, Oren, and Ang, Siena · 2015
Later among the works it cites.
Gradient-based Hyperparameter Optimization through Reversible Learning
Maclaurin, Dougal, Duvenaud, David, and Adams, Ryan P · 2015
Later among the works it cites.
Neural programmer-interpreters
Reed, Scott and de Freitas, Nando · 2015
Later among the works it cites.
Solving General Arithmetic Word Problems
Roy, Subhro and Roth, Dan · 2015
Later among the works it cites.
Reasoning about quantities in natural language
Roy, Subhro, Vieira, Tim, and Roth, Dan · 2015
Later among the works it cites.
Neural module networks
Andreas, Jacob, Rohrbach, Marcus, Darrell, Trevor, and Klein, Dan · 2016
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
TensorFlow: Large-scale machine learning on heterogeneous systems, 2015
Abadi, Martín, Agarwal, Ashish, Barham, Paul, Brevdo, Eugene, Chen, Zhifeng, Citro, Craig, Corrado, Greg S., Davis, Andy, Dean, Jeffrey, Devin, Matthieu, Ghemawat, Sanjay, Goodfellow, Ian, Harp, Andrew, Irving, Geoffrey, Isard, Michael, Jia, Yangqing, Jozefowicz, Rafal, Kaiser, Lukasz, Kudlur, Manjunath, Levenberg, Josh, Mané, Dan, Monga, Rajat, Moore, Sherry, Murray, Derek, Olah, Chris, Schuster, Mike, Shlens, Jonathon, Steiner, Benoit, Sutskever, Ilya, Talwar, Kunal, Tucker, Paul, Vanhoucke, Vincent, Vasudevan, Vijay, Viégas, Fernanda, Vinyals, Oriol, Warden, Pete, Wattenberg, Martin, Wicke, Martin, Yu, Yuan, and Zheng, Xiaoqiang · 2015
Cited alongside, same era.
Learning to Transduce with Unbounded Memory
Grefenstette, Edward, Hermann, Karl Moritz, Suleyman, Mustafa, and Blunsom, Phil · 2015
Cited alongside, same era.
Inferring Algorithmic Patterns with Stack-Augmented Recurrent Nets
Joulin, Armand and Mikolov, Tomas · 2015
Cited alongside, same era.
Neural GPUs learn algorithms
Kaiser, Łukasz and Sutskever, Ilya · 2015
Cited alongside, same era.
Adam: A Method for Stochastic Optimization
Kingma, Diederik and Ba, Jimmy · 2015
Cited alongside, same era.
Neural Programmer: Inducing latent programs with gradient descent
Neelakantan, Arvind, Le, Quoc V, and Sutskever, Ilya
Cited in the paper.
Learning to generate textual data
Bouchard, Guillaume, Stenetorp, Pontus, and Riedel, Sebastian · 2016
Closest in time.
Adaptive neural compilation
Bunel, Rudy, Desmaison, Alban, Kohli, Pushmeet, Torr, Philip HS, 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.
Hybrid computing using a neural network with dynamic external memory
Graves, Alex, Wayne, Greg, Reynolds, Malcolm, Harley, Tim, Danihelka, Ivo, Grabska-Barwińska, Agnieszka, Colmenarejo, Sergio Gómez, Grefenstette, Edward, Ramalho, Tiago, Agapiou, John, et al · 2016
Closest in time.
Neural Random-Access Machines
Kurach, Karol, Andrychowicz, Marcin, and Sutskever, Ilya · 2016
Closest in time.