Neural Program Synthesis By Self-Learning

10/13/2019
by   Yifan Xu, et al.
0

Neural inductive program synthesis is a task generating instructions that can produce desired outputs from given inputs. In this paper, we focus on the generation of a chunk of assembly code that can be executed to match a state change inside the CPU and RAM. We develop a neural program synthesis algorithm, AutoAssemblet, learned via self-learning reinforcement learning that explores the large code space efficiently. Policy networks and value networks are learned to reduce the breadth and depth of the Monte Carlo Tree Search, resulting in better synthesis performance. We also propose an effective multi-entropy policy sampling technique to alleviate online update correlations. We apply AutoAssemblet to basic programming tasks and show significant higher success rates compared to several competing baselines.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/13/2023

Reinforcement Learning for Syntax-Guided Synthesis

Program synthesis is the task of automatically generating code based on ...
research
06/08/2018

Program Synthesis Through Reinforcement Learning Guided Tree Search

Program Synthesis is the task of generating a program from a provided sp...
research
07/01/2018

Towards Mixed Optimization for Reinforcement Learning with Program Synthesis

Deep reinforcement learning has led to several recent breakthroughs, tho...
research
06/13/2023

DreamDecompiler: Improved Bayesian Program Learning by Decompiling Amortised Knowledge

Solving program induction problems requires searching through an enormou...
research
06/09/2019

Write, Execute, Assess: Program Synthesis with a REPL

We present a neural program synthesis approach integrating components wh...
research
05/06/2020

Learning, transferring, and recommending performance knowledge with Monte Carlo tree search and neural networks

Making changes to a program to optimize its performance is an unscalable...
research
01/27/2020

Unsupervised Program Synthesis for Images using Tree-Structured LSTM

Program synthesis has recently emerged as a promising approach to the im...

Please sign up or login with your details

Forgot password? Click here to reset