Fetching the paper…
Reading the bibliography…
The goal of program synthesis is to automatically generate programs in a particular language from corresponding specifications, e.g.
PROW: A step toward automatic program writing
Richard J. Waldinger and Richard C. T. Lee · 1969
Earlier work this paper cites.
Toward automatic program synthesis
Zohar Manna and Richard J. Waldinger · 1971
Earlier work this paper cites.
Karel the robot: a gentle introduction to the art of programming
Richard E Pattis · 1981
Earlier work this paper cites.
Inductive logic programming
Stephen Muggleton · 1991
Earlier work this paper cites.
Spreadsheet data manipulation using examples
Sumit Gulwani, William R. Harris, and Rishabh Singh · 2012
Earlier work this paper cites.
Syntax-guided synthesis
Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa · 2013
Earlier work this paper cites.
Program sketching
Armando Solar-Lezama · 2013
Earlier work this paper cites.
Alex Graves, Greg Wayne, and Ivo Danihelka · 2014
Earlier work this paper cites.
Bias reformulation for one-shot function induction
Dianhuan Lin, Eyal Dechter, Kevin Ellis, Joshua B. Tenenbaum, and Stephen Muggleton · 2014
Earlier work this paper cites.
Wojciech Zaremba and Ilya Sutskever · 2014
Earlier work this paper cites.
Inductive programming meets the real world
Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, and Benjamin G. Zorn · 2015
Cited alongside, same era.
Inferring algorithmic patterns with stack-augmented recurrent nets
Armand Joulin and Tomas Mikolov · 2015
Cited alongside, same era.
Lukasz Kaiser and Ilya Sutskever · 2015
Cited alongside, same era.
Neural programmer: Inducing latent programs with gradient descent
Arvind Neelakantan, Quoc V. Le, and Ilya Sutskever · 2015
Cited alongside, same era.
Neural programmer-interpreters
Scott E. Reed and Nando de Freitas · 2015
Cited alongside, same era.
Deep API programmer: Learning to program with apis
Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, and Pushmeet Kohli · 2017
Later among the works it cites.
Using simulation and domain adaptation to improve efficiency of deep robotic grasping
Konstantinos Bousmalis, Alex Irpan, Paul Wohlhart, Yunfei Bai, Matthew Kelcey, Mrinal Kalakrishnan, Laura Downs, Julian Ibarz, Peter Pastor, Kurt Konolige, Sergey Levine, and Vincent Vanhoucke · 2017
Later among the works it cites.
Making neural programming architectures generalize via recursion
Jonathon Cai, Richard Shin, and Dawn Song · 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.
Neuro-symbolic program synthesis
Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, Lihong Li, Dengyong Zhou, and Pushmeet Kohli · 2017
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow · 2016
Cited alongside, same era.
Transfer from simulation to real world through learning deep inverse dynamics model
Paul F. Christiano, Zain Shah, Igor Mordatch, Jonas Schneider, Trevor Blackwell, Joshua Tobin, Pieter Abbeel, and Wojciech Zaremba · 2016
Cited alongside, same era.
Terpret: A probabilistic programming language for program induction
Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, and Daniel Tarlow · 2016
Cited alongside, same era.
Neural random-access machines
Karol Kurach, Marcin Andrychowicz, and Ilya Sutskever · 2016
Cited alongside, same era.
Learning from simulated and unsupervised images through adversarial training
Ashish Shrivastava, Tomas Pfister, Oncel Tuzel, Josh Susskind, Wenda Wang, and Russell Webb · 2016
Cited alongside, same era.
Later among the works it cites.
Sim-to-real transfer of robotic control with dynamics randomization
Xue Bin Peng, Marcin Andrychowicz, Wojciech Zaremba, and Pieter Abbeel · 2017
Later among the works it cites.
Asymmetric actor critic for image-based robot learning
Lerrel Pinto, Marcin Andrychowicz, Peter Welinder, Wojciech Zaremba, and Pieter Abbeel · 2017
Later among the works it cites.
Leveraging grammar and reinforcement learning for neural program synthesis
Rudy Bunel, Matthew Hausknecht, Jacob Devlin, Rishabh Singh, and Pushmeet Kohli · 2018
Later among the works it cites.
Tensor2tensor for neural machine translation
Ashish Vaswani, Samy Bengio, Eugene Brevdo, Francois Chollet, Aidan N. Gomez, Stephan Gouws, Llion Jones, Łukasz Kaiser, Nal Kalchbrenner, Niki Parmar, Ryan Sepassi, Noam Shazeer, and Jakob Uszkoreit · 2018
Later among the works it cites.
Da Xiao, Jo-Yu Liao, and Xingyuan Yuan · 2018
Later among the works it cites.