paper-with-me

Papers

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

2020-11-11 · Lin Cheng, Zijiang Yang

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%, and the accuracy rates to recognize edge and nodes are 94.1% and 67.9%, respectively. On average, it takes about 60 milliseconds to synthesize a program.

📄 PDF Abstract BibTeX arXiv:2011.05980

Code (0)

등록된 구현이 없습니다.

Tasks

Program Synthesis

Similar Papers 제목 키워드 기반

Convolutional Neural Networks with Gated Recurrent Connections

2021-06-05 · JianFeng Wang, Xiaolin Hu

The convolutional neural network (CNN) has become a basic model for solving many computer vision problems. In recent years, a new class of CNNs, recurrent convolution neural network (RCNN), inspired by abundant recurrent…

object-detectionObject DetectionObject RecognitionScene Text Recognition

Gated Recurrent Convolution Neural Network for OCR

2017-12-01 · NeurIPS 2017 12 · Jianfeng Wang, Xiaolin Hu

Optical Character Recognition (OCR) aims to recognize text in natural images. Inspired by a recently proposed model for general image classification, Recurrent Convolution Neural Network (RCNN), we propose a new architec…

General Classificationimage-classificationImage ClassificationOptical Character Recognition+1

Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat

2021-09-17 · Neng-Fa Zhou

Many constraint satisfaction problems involve synthesizing subgraphs that satisfy certain reachability constraints. This paper presents programs in Picat for four problems selected from the recent LP/CP programming compe…

Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching

2021-10-11 · Osbert Bastani

We study the problem of synthesizing programs that include machine learning components such as deep neural networks (DNNs). We focus on statistical properties, which are properties expected to hold with high probability …

BIG-bench Machine LearningClassificationimage-classificationImage Classification+1

TikZero: Zero-Shot Text-Guided Graphics Program Synthesis

2025-03-14 · Jonas Belouadi, Eddy Ilg, Margret Keuper, Hideki Tanaka 외

With the rise of generative AI, synthesizing figures from text captions becomes a compelling application. However, achieving high geometric precision and editability requires representing figures as graphics programs in …

Program Synthesis