The fantastic combinations of john conway’s new solitaire game “life” by martin gardner
M. Games · 1970
Earlier work this paper cites.
Human problem solving: The state of the theory in 1970
H. A. Simon and A. Newell · 1971
Earlier work this paper cites.
An algorithm for reduction of operator strength
J. Cocke and K. Kennedy · 1977
Earlier work this paper cites.
Programming by examples
M. A. Bauer · 1979
Earlier work this paper cites.
How to write a Lisp interpreter (in Python), 2010
P. Norvig · 2010
Earlier work this paper cites.
A survey on unit testing practices and problems
E. Daka and G. Fraser · 2014
Earlier work this paper cites.
TensorFlow: Large-scale machine learning on heterogeneous systems, 2015
M. Abadi, A. Agarwal, P. Barham, E. Brevdo, Z. Chen, C. Citro, G. S. Corrado, A. Davis, J. Dean, M. Devin, S. Ghemawat, I. Goodfellow, A. Harp, G. Irving, M. Isard, Y. Jia, R. Jozefowicz, L. Kaiser, M. Kudlur, J. Levenberg, D. Mané, R. Monga, S. Moore, D. Murray, C. Olah, M. Schuster, J. Shlens, B. Steiner, I. Sutskever, K. Talwar, P. Tucker, V. Vanhoucke, V. Vasudevan, F. Viégas, O. Vinyals, P. Warden, M. Wattenberg, M. Wicke, Y. Yu, and X. Zheng · 2015
Earlier work this paper cites.
Compositional program synthesis from natural language and examples
M. Raza, S. Gulwani, and N. Milic-Frayling · 2015
Earlier work this paper cites.
Program synthesis using natural language
A. Desai, S. Gulwani, V. Hingorani, N. Jain, A. Karkare, M. Marron, and S. Roy · 2016
Earlier work this paper cites.
Programming by examples
S. Gulwani · 2016
Earlier work this paper cites.
Thinking fast and slow with deep learning and tree search
T. Anthony, Z. Tian, and D. Barber · 2017
Earlier work this paper cites.
Program synthesis
S. Gulwani, O. Polozov, R. Singh, et al · 2017
Earlier work this paper cites.
A syntactic neural model for general-purpose code generation
P. Yin and G. Neubig · 2017
Earlier work this paper cites.
Prolific. ac—a subject pool for online experiments
S. Palan and C. Schitter · 2018
Earlier work this paper cites.
Virtualhome: Simulating household activities via programs
X. Puig, K. Ra, M. Boben, J. Li, T. Wang, S. Fidler, and A. Torralba · 2018
Earlier work this paper cites.
Learning to mine aligned code and natural language pairs from stack overflow
P. Yin, B. Deng, E. Chen, B. Vasilescu, and G. Neubig · 2018
Earlier work this paper cites.
On the measure of intelligence
Original
F. Chollet · 2019
Earlier work this paper cites.
Spoc: Search-based pseudocode to code
S. Kulal, P. Pasupat, K. Chandra, M. Lee, O. Padon, A. Aiken, and P. S. Liang · 2019
Earlier work this paper cites.
Pytorch: An imperative style, high-performance deep learning library
A. Paszke, S. Gross, F. Massa, A. Lerer, J. Bradbury, G. Chanan, T. Killeen, Z. Lin, N. Gimelshein, L. Antiga, et al · 2019
Earlier work this paper cites.
Explain yourself! leveraging language models for commonsense reasoning
N. F. Rajani, B. McCann, C. Xiong, and R. Socher · 2019
Earlier work this paper cites.
Generative language modeling for automated theorem proving
Original
S. Polu and I. Sutskever · 2020
Earlier work this paper cites.
Unsupervised commonsense question answering with self-talk
V. Shwartz, P. West, R. L. Bras, C. Bhagavatula, and Y. Choi · 2020
Earlier work this paper cites.
Program synthesis with large language models
Original
J. Austin, A. Odena, M. Nye, M. Bosma, H. Michalewski, D. Dohan, E. Jiang, C. Cai, M. Terry, Q. Le, et al · 2021
Earlier work this paper cites.