Fetching the paper…
Reading the bibliography…
Expert problem-solving is driven by powerful languages for thinking about problems and their solutions.
Computing machinery and intelligence
Alan M Turing · 1950
Earlier work this paper cites.
A formal theory of inductive inference
Ray J Solomonoff · 1964
Earlier work this paper cites.
Pattern Recognition
M. M. Bongard · 1970
Earlier work this paper cites.
The MIT robot
Patrick Winston · 1972
Earlier work this paper cites.
The language of thought
Jerry A Fodor · 1975
Earlier work this paper cites.
Version spaces: A candidate elimination approach to rule learning
Tom M Mitchell · 1977
Earlier work this paper cites.
Categorization and representation of physics problems by experts and novices
Michelene TH Chi, Paul J Feltovich, and Robert Glaser · 1981
Earlier work this paper cites.
Scientific discovery as problem solving
Herbert A Simon, Patrick W Langley, and Gary L Bradshaw · 1981
Earlier work this paper cites.
Friends of the turtle
David D. Thornburg · 1983
Earlier work this paper cites.
Heuristic and analytic processes in reasoning
Jonathan St BT Evans · 1984
Earlier work this paper cites.
Scientific discovery: Computational explorations of the creative processes
Pat Langley · 1987
Earlier work this paper cites.
The Nature of Expertise
M.T.H. Chi, R. Glaser, and M.J. Farr · 1988
Earlier work this paper cites.
A system for incremental learning based on algorithmic probability
Ray J Solomonoff · 1989
Earlier work this paper cites.
Origins of knowledge
Elizabeth S Spelke, Karen Breinlinger, Janet Macomber, and Kristen Jacobson · 1992
Earlier work this paper cites.
Letter spirit: An emergent model of the perception and creation of alphabetic style
Douglas Hofstadter and Gary McGraw · 1993
Earlier work this paper cites.
Learning and development in neural networks: The importance of starting small
Jeffrey L Elman · 1993
Earlier work this paper cites.
The ”wake-sleep” algorithm for unsupervised neural networks
Geoffrey E Hinton, Peter Dayan, Brendan J Frey, and Radford M Neal · 1995
Earlier work this paper cites.
Between mdps and semi-mdps: A framework for temporal abstraction in reinforcement learning
Richard S Sutton, Doina Precup, and Satinder Singh · 1999
Earlier work this paper cites.
Rule learning by seven-month-old infants
Gary F Marcus, Sugumaran Vijayan, S Bandi Rao, and Peter M Vishton · 1999
Earlier work this paper cites.
Dreaming and episodic memory: a functional dissociation?
Magdalena J Fosse, Roar Fosse, J Allan Hobson, and Robert J Stickgold · 2003
Earlier work this paper cites.
Programming by demonstration using version space algebra
Tessa Lau, Steven A Wolfman, Pedro Domingos, and Daniel S Weld · 2003
Earlier work this paper cites.
Raven progressive matrices
Jean Raven et al · 2003
Cited alongside, same era.
Origami programming
Jeremy Gibbons · 2003
Cited alongside, same era.
Optimal ordered problem solver
Jürgen Schmidhuber · 2004
Cited alongside, same era.
Universal artificial intelligence: Sequential decisions based on algorithmic probability
Marcus Hutter · 2004
Cited alongside, same era.
Pattern Recognition and Machine Learning
Christopher M. Bishop · 2006
Cited alongside, same era.
Program Synthesis By Sketching
Armando Solar Lezama · 2008
Cited alongside, same era.
Equality saturation: a new approach to optimization
Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner · 2009
The consolidation and transformation of memory
Yadin Dudai, Avi Karni, and Jan Born · 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.
Synthesizing data structure transformations from input-output examples
John K Feser, Swarat Chaudhuri, and Isil Dillig · 2015
Later among the works it cites.
Deepcoder: Learning to write programs
Matej Balog, Alexander L Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow · 2016
Later among the works it cites.
Hybrid computing using a neural network with dynamic external memory
Alex Graves, Greg Wayne, Malcolm Reynolds, Tim Harley, Ivo Danihelka, Agnieszka Grabska-Barwińska, Sergio Gómez Colmenarejo, Edward Grefenstette, Tiago Ramalho, John Agapiou, et al · 2016
Later among the works it cites.
Neural module networks
Jacob Andreas, Marcus Rohrbach, Trevor Darrell, and Dan Klein · 2016
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Distilling free-form natural laws from experimental data
Michael Schmidt and Hod Lipson · 2009
Cited alongside, same era.
Curriculum learning
Yoshua Bengio, Jérôme Louradour, Ronan Collobert, and Jason Weston · 2009
Cited alongside, same era.
Learning programs: A hierarchical bayesian approach
Percy Liang, Michael I. Jordan, and Dan Klein · 2010
Cited alongside, same era.
Learning dependency-based compositional semantics
Percy Liang, Michael I. Jordan, and Dan Klein · 2011
Cited alongside, same era.
Automating string processing in spreadsheets using input-output examples
Sumit Gulwani · 2011
Cited alongside, same era.
Later among the works it cites.
Neural program meta-induction
Jacob Devlin, Rudy R Bunel, Rishabh Singh, Matthew Hausknecht, and Pushmeet Kohli · 2017
Later among the works it cites.
Robustfill: Neural program learning under noisy i/o
Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, and Pushmeet Kohli · 2017
Later among the works it cites.
Sygus-comp 2017: Results and analysis
Rajeev Alur, Dana Fisman, Rishabh Singh, and Armando Solar-Lezama · 2017
Later among the works it cites.
Domain randomization for transferring deep neural networks from simulation to the real world
Josh Tobin, Rachel Fong, Alex Ray, Jonas Schneider, Wojciech Zaremba, and Pieter Abbeel · 2017
Later among the works it cites.
Building machines that learn and think like people
Brenden M Lake, Tomer D Ullman, Joshua B Tenenbaum, and Samuel J Gershman · 2017
Later among the works it cites.
Library learning for neurally-guided bayesian program induction
Kevin Ellis, Lucas Morales, Mathias Sablé-Meyer, Armando Solar-Lezama, and Josh Tenenbaum · 2018
Later among the works it cites.
Learning to infer graphics programs from hand-drawn images
Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, and Joshua B Tenenbaum · 2018
Later among the works it cites.
Houdini: Lifelong learning as program synthesis
Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, and Swarat Chaudhuri · 2018
Later among the works it cites.
Deepproblog: Neural probabilistic logic programming
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, and Luc De Raedt · 2018
Later among the works it cites.
Beyond imitation: Zero-shot task transfer on robots by learning concepts as cognitive programs
Miguel Lázaro-Gredilla, Dianhuan Lin, J Swaroop Guntupalli, and Dileep George · 2019
Later among the works it cites.
Learning structured generative models with memoised wake-sleep
Luke Hewitt and Joshua Tenenbaum · 2019
Later among the works it cites.
Playgol: Learning programs through play
Andrew Cropper · 2019
Later among the works it cites.
Learning neurosymbolic generative models via program synthesis
Halley Young, Osbert Bastani, and Mayur Naik · 2019
Later among the works it cites.
Generating new concepts with hybrid neuro-symbolic models, 2020
Reuben Feinman and Brenden M. Lake · 2020
Closest in time.