A survey of machine learning for big code and naturalness
Research at the intersection of machine learning, programming languages, and software
engineering has recently taken important steps in proposing learnable probabilistic models …
engineering has recently taken important steps in proposing learnable probabilistic models …
Neurosymbolic programming
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 …
areas of deep learning and program synthesis. Like in classic machine learning, the goal …
Grammar variational autoencoder
Deep generative models have been wildly successful at learning coherent latent
representations for continuous data such as natural images, artwork, and audio. However …
representations for continuous data such as natural images, artwork, and audio. However …
Learning explanatory rules from noisy data
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 …
solutions to a wide variety of problems, both supervised and unsupervised. As their size and …
Deepcoder: Learning to write programs
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 …
input-output examples using deep learning. The approach is to train a neural network to …
Robustfill: Neural program learning under noisy i/o
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 …
been studied since the early days of AI. Recently, two competing approaches forautomatic …
Constrained generation of semantically valid graphs via regularizing variational autoencoders
Deep generative models have achieved remarkable success in various data domains,
including images, time series, and natural languages. There remain, however, substantial …
including images, time series, and natural languages. There remain, however, substantial …
Neuro-symbolic program synthesis
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 …
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 …
code is a typical task conducted by a developer in order to build customized software …
Program synthesis
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 …
programming language that satisfies the user intent expressed in the form of some …