Recent Advances in Neural Program Synthesis

02/07/2018
by   Neel Kant, et al.
0

In recent years, deep learning has made tremendous progress in a number of fields that were previously out of reach for artificial intelligence. The successes in these problems has led researchers to consider the possibilities for intelligent systems to tackle a problem that humans have only recently themselves considered: program synthesis. This challenge is unlike others such as object recognition and speech translation, since its abstract nature and demand for rigor make it difficult even for human minds to attempt. While it is still far from being solved or even competitive with most existing methods, neural program synthesis is a rapidly growing discipline which holds great promise if completely realized. In this paper, we start with exploring the problem statement and challenges of program synthesis. Then, we examine the fascinating evolution of program induction models, along with how they have succeeded, failed and been reimagined since. Finally, we conclude with a contrastive look at program synthesis and future research recommendations for the field.

READ FULL TEXT
research
10/06/2022

An Overview of Affective Speech Synthesis and Conversion in the Deep Learning Era

Speech is the fundamental mode of human communication, and its synthesis...
research
06/10/2021

PSB2: The Second Program Synthesis Benchmark Suite

For the past six years, researchers in genetic programming and other pro...
research
08/14/2023

Modular System Synthesis

This paper describes a way to improve the scalability of program synthes...
research
05/22/2018

EgoCoder: Intelligent Program Synthesis with Hierarchical Sequential Neural Network Model

Programming has been an important skill for researchers and practitioner...
research
09/12/2018

Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis

Many Program Verification and Synthesis problems of interest can be mode...
research
02/22/2022

Neural Program Repair: Systems, Challenges and Solutions

Automated Program Repair (APR) aims to automatically fix bugs in the sou...
research
03/30/2021

Geometry of Program Synthesis

We re-evaluate universal computation based on the synthesis of Turing ma...

Please sign up or login with your details

Forgot password? Click here to reset