Fetching the paper…
Reading the bibliography…
We present a new program synthesis approach that combines an encoder-decoder based synthesis architecture with a differentiable program fixer.
Toward automatic program synthesis
Z. Manna and R. J. Waldinger · 1971
Earlier work this paper cites.
Synthesis of lisp functions from examples
S. Hardy · 1975
Earlier work this paper cites.
A methodology for lisp program construction from examples
P. D. Summers · 1977
Earlier work this paper cites.
Your wish is my command: Programming by example
H. Lieberman · 2001
Earlier work this paper cites.
Spreadsheet data manipulation using examples
S. Gulwani, W. R. Harris, and R. Singh · 2012
Earlier work this paper cites.
Syntax-guided synthesis
R. Alur, R. Bodík, G. Juniwal, M. M. K. Martin, M. Raghothaman, S. A. Seshia, R. Singh, A. Solar-Lezama, E. Torlak, and A. Udupa · 2013
Earlier work this paper cites.
A machine learning framework for programming by example
A. Menon, O. Tamuz, S. Gulwani, B. Lampson, and A. Kalai · 2013
Earlier work this paper cites.
A. Graves, G. Wayne, and I. Danihelka · 2014
Earlier work this paper cites.
Learning program embeddings to propagate feedback on student code
C. Piech, J. Huang, A. Nguyen, M. Phulsuksombati, M. Sahami, and L. Guibas · 2015
Earlier work this paper cites.
sk_p: a neural program corrector for moocs
Y. Pu, K. Narasimhan, A. Solar-Lezama, and R. Barzilay · 2016
Cited alongside, same era.
Neural programmer-interpreters
S. Reed and N. De Freitas · 2016
Cited alongside, same era.
Learning continuous semantic representations of symbolic expressions
M. Allamanis, P. Chanthirasegaran, P. Kohli, and C. Sutton · 2017
Cited alongside, same era.
DeepCoder: Learning to write programs
M. Balog, A. L. Gaunt, M. Brockschmidt, S. Nowozin, and D. Tarlow · 2017
Cited alongside, same era.
Robustfill: Neural program learning under noisy i/o
J. Devlin, J. Uesato, S. Bhupatiraju, R. Singh, A.-r. Mohamed, and P. Kohli · 2017
Cited alongside, same era.
Program synthesis
S. Gulwani, O. Polozov, and R. Singh · 2017
Cited alongside, same era.
Can neural networks understand logical entailment?
R. Evans, D. Saxton, D. Amos, P. Kohli, and E. Grefenstette · 2018
Later among the works it cites.
Automatic chemical design using a data-driven continuous representation of molecules
R. Gómez-Bombarelli, J. N. Wei, D. Duvenaud, J. M. Hernández-Lobato, B. Sánchez-Lengeling, D. Sheberla, J. Aguilera-Iparraguirre, T. D. Hirzel, R. P. Adams, and A. Aspuru-Guzik · 2018
Later among the works it cites.
Towards specification-directed program repair
R. Shin, I. Polosukhin, and D. Song · 2018
Later among the works it cites.
Automatic program synthesis of long programs with a learned garbage collector
A. Zohar and L. Wolf · 2018
Later among the works it cites.
Execution-guided neural program synthesis
X. Chen, C. Liu, and D. Song · 2019
Later among the works it cites.
Write, execute, assess: Program synthesis with a repl
K. Ellis, M. Nye, Y. Pu, F. Sosa, J. Tenenbaum, and A. Solar-Lezama · 2019
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Neuro-symbolic program synthesis
E. Parisotto, A.-r. Mohamed, R. Singh, L. Li, D. Zhou, and P. Kohli · 2017
Cited alongside, same era.
Dynamic neural program embedding for program repair
K. Wang, R. Singh, and Z. Su · 2017
Cited alongside, same era.
Neuro-symbolic program corrector for introductory programming assignments
S. Bhatia, P. Kohli, and R. Singh · 2018
Cited alongside, same era.
Later among the works it cites.
Mathematical reasoning in latent space, 2019
D. Lee, C. Szegedy, M. N. Rabe, S. M. Loos, and K. Bansal · 2019
Later among the works it cites.
Learning to infer program sketches
M. Nye, L. Hewitt, J. Tenenbaum, and A. Solar-Lezama · 2019
Later among the works it cites.