Fetching the paper…
Reading the bibliography…
Synthesizing programs from examples requires searching over a vast, combinatorial space of possible programs.
The fortran automatic coding system
John W Backus, Robert J Beeber, Sheldon Best, Richard Goldberg, L Mitchell Haibt, Harlan L Herrick, Robert A Nelson, David Sayre, Peter B Sheridan, H Stern, et al · 1957
Earlier work this paper cites.
The mit robot
Patrick Winston · 1972
Earlier work this paper cites.
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Patrick Cousot and Radhia Cousot · 1977
Earlier work this paper cites.
Program synthesis by sketching
Armando Solar-Lezama · 2008
Earlier work this paper cites.
Synthesizing data structure manipulations from storyboards
Rishabh Singh and Armando Solar-Lezama · 2011
Earlier work this paper cites.
Parsing natural scenes and natural language with recursive neural networks
Richard Socher, Cliff Chiung-Yu Lin, Andrew Y Ng, and Christopher D Manning · 2011
Earlier work this paper cites.
Spatial transformer networks
Max Jaderberg, Karen Simonyan, Andrew Zisserman, et al · 2015
Earlier work this paper cites.
Tractability of planning with loops
Siddharth Srivastava, Shlomo Zilberstein, Abhishek Gupta, Pieter Abbeel, and Stuart Russell · 2015
Earlier work this paper cites.
Sygus-comp 2016: Results and analysis
Rajeev Alur, Dana Fisman, Rishabh Singh, and Armando Solar-Lezama · 2016
Earlier work this paper cites.
Neural module networks
Jacob Andreas, Marcus Rohrbach, Trevor Darrell, and Dan Klein · 2016
Earlier work this paper cites.
Deepcoder: Learning to write programs
Matej Balog, Alexander L Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow · 2016
Earlier work this paper cites.
Recurrent neural network grammars
Chris Dyer, Adhiguna Kuncoro, Miguel Ballesteros, and Noah A Smith · 2016
Earlier work this paper cites.
Robustfill: Neural program learning under noisy i/o
Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, and Pushmeet Kohli · 2017
Cited alongside, same era.
Program Synthesis
S. Gulwani, O. Polozov, and R. Singh · 2017
Cited alongside, same era.
Inferring and executing programs for visual reasoning
Justin Johnson, Bharath Hariharan, Laurens Van Der Maaten, Judy Hoffman, Li Fei-Fei, C Lawrence Zitnick, and Ross Girshick · 2017
Cited alongside, same era.
Neural sketch learning for conditional program generation
Vijayaraghavan Murali, Letao Qi, Swarat Chaudhuri, and Chris Jermaine · 2017
Cited alongside, same era.
Program synthesis using abstraction refinement
Xinyu Wang, Isil Dillig, and Rishabh Singh · 2017
Cited alongside, same era.
On the convergence of adam and beyond
Sashank J. Reddi, Satyen Kale, and Sanjiv Kumar · 2018
Later among the works it cites.
Automatic program synthesis of long programs with a learned garbage collector
Amit Zohar and Lior Wolf · 2018
Later among the works it cites.
Hoppity: Learning graph transformations to detect and fix bugs in programs
Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, and Ke Wang · 2019
Later among the works it cites.
Write, execute, assess: Program synthesis with a repl
Kevin Ellis, Maxwell Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, and Armando Solar-Lezama · 2019
Later among the works it cites.
A review of generalized planning
Sergio Jiménez, Javier Segovia-Aguas, and Anders Jonsson · 2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Miltiadis Allamanis, Marc Brockschmidt, and Mahmoud Khademi · 2018
Cited alongside, same era.
Generative code modeling with graphs
Marc Brockschmidt, Miltiadis Allamanis, Alexander L Gaunt, and Oleksandr Polozov · 2018
Cited alongside, same era.
Leveraging grammar and reinforcement learning for neural program synthesis
Rudy Bunel, Matthew Hausknecht, Jacob Devlin, Rishabh Singh, and Pushmeet Kohli · 2018
Cited alongside, same era.
Execution-guided neural program synthesis
Xinyun Chen, Chang Liu, and Dawn Song · 2018
Cited alongside, same era.
Coarse-to-fine decoding for neural semantic parsing
Li Dong and Mirella Lapata · 2018
Cited alongside, same era.
The three pillars of machine programming
Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B Tenenbaum, and Tim Mattson · 2018
Cited alongside, same era.
Maxwell Nye, Luke Hewitt, Joshua Tenenbaum, and Armando Solar-Lezama · 2019
Later among the works it cites.
Learning to represent programs with property signatures
Augustus Odena and Charles Sutton · 2019
Later among the works it cites.
Dreamcoder: Growing generalizable, interpretable knowledge with wake-sleep bayesian program learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sable-Meyer, Luc Cary, Lucas Morales, Luke Hewitt, Armando Solar-Lezama, and Joshua B Tenenbaum · 2020
Closest in time.
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems
Qinheping Hu, John Cyphert, Loris D’Antoni, and Thomas Reps · 2020
Closest in time.
Programming with a read-eval-synth loop
Hila Peleg, Roi Gabay, Shachar Itzhaky, and Eran Yahav · 2020
Closest in time.
Tf-coder: Program synthesis for tensor manipulations
Kensen Shi, David Bieber, and Rishabh Singh · 2020
Closest in time.