GRCNN: Graph Recognition Convolutional Neural Network for Synthesizing Programs from Flow Charts

11/11/2020
by   Lin Cheng, et al.
0

Program synthesis is the task to automatically generate programs based on user specification. In this paper, we present a framework that synthesizes programs from flow charts that serve as accurate and intuitive specifications. In order doing so, we propose a deep neural network called GRCNN that recognizes graph structure from its image. GRCNN is trained end-to-end, which can predict edge and node information of the flow chart simultaneously. Experiments show that the accuracy rate to synthesize a program is 66.4 the accuracy rates to recognize edge and nodes are 94.1 respectively. On average, it takes about 60 milliseconds to synthesize a program.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/16/2020

Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis

The use of deep learning techniques has achieved significant progress fo...
research
12/31/2019

Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications

Synthesizing a program that realizes a logical specification is a classi...
research
09/19/2019

Imperative Program Synthesis from Answer Set Programs

Our research concerns generating imperative programs from Answer Set Pro...
research
05/25/2023

Learning-Based Automatic Synthesis of Software Code and Configuration

Increasing demands in software industry and scarcity of software enginee...
research
09/15/2018

Neural Networks as Artificial Specifications

In theory, a neural network can be trained to act as an artificial speci...
research
07/09/2020

Learning Graph Structure With A Finite-State Automaton Layer

Graph-based neural network models are producing strong results in a numb...
research
03/18/2015

Exploration of the scalability of LocFaults approach for error localization with While-loops programs

A model checker can produce a trace of counterexample, for an erroneous ...

Please sign up or login with your details

Forgot password? Click here to reset