A survey of machine learning for big code and naturalness

M Allamanis, ET Barr, P Devanbu… - ACM Computing Surveys …, 2018 - dl.acm.org
Research at the intersection of machine learning, programming languages, and software
engineering has recently taken important steps in proposing learnable probabilistic models …

Neurosymbolic programming

S Chaudhuri, K Ellis, O Polozov, R Singh… - … and Trends® in …, 2021 - nowpublishers.com
We survey recent work on neurosymbolic programming, an emerging area that bridges the
areas of deep learning and program synthesis. Like in classic machine learning, the goal …

Grammar variational autoencoder

MJ Kusner, B Paige… - … on machine learning, 2017 - proceedings.mlr.press
Deep generative models have been wildly successful at learning coherent latent
representations for continuous data such as natural images, artwork, and audio. However …

Learning explanatory rules from noisy data

R Evans, E Grefenstette - Journal of Artificial Intelligence Research, 2018 - jair.org
Artificial Neural Networks are powerful function approximators capable of modelling
solutions to a wide variety of problems, both supervised and unsupervised. As their size and …

Deepcoder: Learning to write programs

M Balog, AL Gaunt, M Brockschmidt, S Nowozin… - arxiv preprint arxiv …, 2016 - arxiv.org
We develop a first line of attack for solving programming competition-style problems from
input-output examples using deep learning. The approach is to train a neural network to …

Robustfill: Neural program learning under noisy i/o

J Devlin, J Uesato, S Bhupatiraju… - International …, 2017 - proceedings.mlr.press
The problem of automatically generating a computer program from some specification has
been studied since the early days of AI. Recently, two competing approaches forautomatic …

Constrained generation of semantically valid graphs via regularizing variational autoencoders

T Ma, J Chen, C **ao - Advances in Neural Information …, 2018 - proceedings.neurips.cc
Deep generative models have achieved remarkable success in various data domains,
including images, time series, and natural languages. There remain, however, substantial …

Neuro-symbolic program synthesis

E Parisotto, A Mohamed, R Singh, L Li, D Zhou… - arxiv preprint arxiv …, 2016 - arxiv.org
Recent years have seen the proposal of a number of neural architectures for the problem of
Program Induction. Given a set of input-output examples, these architectures are able to …

pix2code: Generating code from a graphical user interface screenshot

T Beltramelli - Proceedings of the ACM SIGCHI symposium on …, 2018 - dl.acm.org
Transforming a graphical user interface screenshot created by a designer into computer
code is a typical task conducted by a developer in order to build customized software …

Program synthesis

S Gulwani, O Polozov, R Singh - Foundations and Trends® in …, 2017 - nowpublishers.com
Program synthesis is the task of automatically finding a program in the underlying
programming language that satisfies the user intent expressed in the form of some …