Fetching the paper…
Reading the bibliography…
Automatic software generation based on some specification is known as program synthesis.
Knowledge and Reasoning in Program Synthesis
Manna, Z. and Waldinger, R · 1975
Earlier work this paper cites.
Nonlinear principal component analysis using autoassociative neural networks
Kramer, M. A · 1991
Earlier work this paper cites.
Adapting arbitrary normal mutation distributions in evolution strategies: the covariance matrix adaptation
Hansen, N. and Ostermeier, A · 1996
Earlier work this paper cites.
Drag reduction and shape optimization of airship bodies
Lutz, T., Wagner, S., Lutz, T., and Wagner, S · 1997
Earlier work this paper cites.
Application of machine learning algorithms to flow modeling and optimization
Mueller, S. D., Milano, M., and Koumoutsakos, P · 1999
Earlier work this paper cites.
Completely derandomized self-adaptation in evolution strategies
Hansen, N. and Ostermeier, A · 2001
Earlier work this paper cites.
Autoconstructive evolution: Push, pushgp, and pushpop
Spector, L · 2001
Earlier work this paper cites.
Registration of bone surfaces, extracted from CT-datasets, with 3d ultrasound
Winter, S., Brendel, B., Rick, A., Stockheim, M., Schmieder, K., and Ermert, H · 2002
Earlier work this paper cites.
Advanced high turning compressor airfoils for low reynolds number condition—part i: Design and optimization
Sonoda, T., Yamaguchi, Y., Arima, T., Olhofer, M., Sendhoff, B., and Schreiber, H.-A · 2004
Earlier work this paper cites.
A restart cma evolution strategy with increasing population size
Auger, A. and Hansen, N · 2005
Earlier work this paper cites.
The CMA Evolution Strategy: A Tutorial
Hansen, N · 2005
Earlier work this paper cites.
Combinatorial Sketching for Finite Programs
Solar-Lezama, A., Tancau, L., Bodik, R., Seshia, S., and Saraswat, V · 2006
Earlier work this paper cites.
On Linear Genetic Programming
Brameier, M · 2007
Earlier work this paper cites.
ImageNet: A Large-Scale Hierarchical Image Database
Deng, J., Dong, W., Socher, R., Li, L.-J., Li, K., and Fei-Fei, L · 2009
Earlier work this paper cites.
Benchmarking a bi-population cma-es on the bbob-2009 function testbed
Hansen, N · 2009
Earlier work this paper cites.
Speech and language processing : an introduction to natural language processing, computational linguistics, and speech recognition
Jurafsky, D. and Martin, J. H · 2009
Earlier work this paper cites.
Learning Multiple Layers of Features from Tiny Images
Krizhevsky, A · 2009
Earlier work this paper cites.
Foundations of Genetic Programming
Langdon, W. B. and Poli, R · 2010
Earlier work this paper cites.
Using Program Synthesis for Social Recommendations
Cheung, A., Solar-Lezama, A., and Madden, S · 2012
Earlier work this paper cites.
Spreadsheet Data Manipulation Using Examples
Gulwani, S., Harris, W. R., and Singh, R · 2012
Cited alongside, same era.
Machine Learning: A Probabilistic Perspective
Murphy, K. P · 2012
Cited alongside, same era.
Algorithmic Program Synthesis: Introduction
Bodík, R. and Jobstmann, B · 2013
Cited alongside, same era.
Stochastic superoptimization
Schkufza, E., Sharma, R., and Aiken, A · 2013
Cited alongside, same era.
Principal Components Analysis, 2014
Li, C. and Wang, B · 2014
Cited alongside, same era.
Code Completion with Statistical Language Models
Raychev, V., Vechev, M., and Yahav, E · 2014
Cited alongside, same era.
Syntax-Guided Synthesis
Alur, R., Bodík, R., Dallal, E., Fisman, D., Garg, P., Juniwal, G., Kress-Gazit, H., Madhusudan, P., Martin, M. M. K., Raghothaman, M., Saha, S., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., and Udupa, A · 2015
Program Synthesis Using Conflict-driven Learning
Feng, Y., Martins, R., Bastani, O., and Dillig, I · 2018
Later among the works it cites.
The Three Pillars of Machine Programming
Gottschlich, J., Solar-Lezama, A., Tatbul, N., Carbin, M., Rinard, M., Barzilay, R., Amarasinghe, S., Tenenbaum, J. B., and Mattson, T · 2018
Later among the works it cites.
Neural-guided deductive search for real-time program synthesis from examples
Kalyan, A., Mohta, A., Polozov, O., Batra, D., Jain, P., and Gulwani, S · 2018
Later among the works it cites.
Generalized Data Structure Synthesis
Loncaric, C., Ernst, M. D., and Torlak, E · 2018
Later among the works it cites.
Improving neural program synthesis with inferred execution traces
Shin, E. C., Polosukhin, I., and Song, D · 2018
Later among the works it cites.
Relational program synthesis
Wang, Y., Wang, X., and Dillig, I · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
Heule, S., Schkufza, E., Sharma, R., and Aiken, A · 2016
Cited alongside, same era.
Neuro-symbolic program synthesis
Parisotto, E., Mohamed, A.-r., Singh, R., Li, L., Zhou, D., and Kohli, P · 2016
Cited alongside, same era.
Neural Programmer-Interpreters
Reed, S. E. and de Freitas, N · 2016
Cited alongside, same era.
DeepCoder: Learning to Write Programs
Balog, M., Gaunt, A. L., Brockschmidt, M., Nowozin, S., and Tarlow, D · 2017
Cited alongside, same era.
AI Programmer: Autonomously Creating Software Programs Using Genetic Algorithms
Becker, K. and Gottschlich, J · 2017
Cited alongside, same era.
Automatic Program Synthesis of Long Programs with a Learned Garbage Collector
Zohar, A. and Wolf, L · 2018
Later among the works it cites.
Learning to infer program sketches, 2019
Nye, M., Hewitt, L., Tenenbaum, J., and Solar-Lezama, A · 2019
Later among the works it cites.
SysML: The New Frontier of Machine Learning Systems
Ratner, A., Alistarh, D., Alonso, G., Andersen, D. G., Bailis, P., Bird, S., Carlini, N., Catanzaro, B., Chung, E., Dally, B., Dean, J., Dhillon, I. S., Dimakis, A. G., Dubey, P., Elkan, C., Fursin, G., Ganger, G. R., Getoor, L., Gibbons, P. B., Gibson, G. A., Gonzalez, J. E., Gottschlich, J., Han, S., Hazelwood, K. M., Huang, F., Jaggi, M., Jamieson, K. G., Jordan, M. I., Joshi, G., Khalaf, R., Knight, J., Konecný, J., Kraska, T., Kumar, A., Kyrillidis, A., Li, J., Madden, S., McMahan, H. B., Meijer, E., Mitliagkas, I., Monga, R., Murray, D. G., Papailiopoulos, D. S., Pekhimenko, G., Rekatsinas, T., Rostamizadeh, A., Ré, C., Sa, C. D., Sedghi, H., Sen, S., Smith, V., Smola, A., Song, D., Sparks, E. R., Stoica, I., Sze, V., Udell, M., Vanschoren, J., Venkataraman, S., Vinayak, R., Weimer, M., Wilson, A. G., Xing, E. P., Zaharia, M., Zhang, C., and Talwalkar, A · 2019
Later among the works it cites.
Regularized Evolution for Image Classifier Architecture Search
Real, E., Aggarwal, A., Huang, Y., and Le, Q. V · 2019
Later among the works it cites.
Synthesizing datalog programs using numerical relaxation
Si, X., Raghothaman, M., Heo, K., and Naik, M · 2019
Later among the works it cites.
Program synthesis using deduction-guided reinforcement learning
Chen, Y., Wang, C., Bastani, O., Dillig, I., and Feng, Y · 2020
Later among the works it cites.
Program synthesis as latent continuous optimization: Evolutionary search in neural embeddings
Liskowski, P., Krawiec, K., Toklu, N. E., and Swan, J · 2020
Later among the works it cites.
Automl-zero: Evolving machine learning algorithms from scratch, 2020
Real, E., Liang, C., So, D. R., and Le, Q. V · 2020
Later among the works it cites.
Optimal neural program synthesis from multimodal specifications
Ye, X., Chen, Q., Dillig, I., and Durrett, G · 2020
Later among the works it cites.
Latent execution for neural program synthesis beyond domain-specific languages
Chen, X., Song, D., and Tian, Y · 2021
Later among the works it cites.
Latent programmer: Discrete latent codes for program synthesis
Hong, J., Dohan, D., Singh, R., Sutton, C., and Zaheer, M · 2021
Later among the works it cites.
Learning fitness functions for machine programming
Mandal, S., Anderson, T., Turek, J., Gottschlich, J., Zhou, S., and Muzahid, A · 2021
Later among the works it cites.