Papers Program Synthesis
“Program Synthesis” 태그가 달린 논문 538편 · 필터 해제
Neural Guided Constraint Logic Programming for Program Synthesis
Synthesizing programs using example input/outputs is a classic problem in artificial intelligence. We present a method for solving Programming By Example (PBE) problems by using a neural model to guide the search of a co…
Graph Neural NetworkProgram SynthesisMemory Augmented Policy Optimization for Program Synthesis and Semantic Parsing
We present Memory Augmented Policy Optimization (MAPO), a simple and novel way to leverage a memory buffer of promising trajectories to reduce the variance of policy gradient estimate. MAPO is applicable to deterministic…
Combinatorial OptimizationProgram SynthesisSemantic ParsingStructured PredictionNAPS: Natural Program Synthesis Dataset
We present a program synthesis-oriented dataset consisting of human written problem statements and solutions for these problems. The problem statements were collected via crowdsourcing and the program solutions were extr…
Program SynthesisTowards Mixed Optimization for Reinforcement Learning with Program Synthesis
Deep reinforcement learning has led to several recent breakthroughs, though the learned policies are often based on black-box neural networks. This makes them difficult to interpret and to impose desired specification co…
Deep Reinforcement LearningProgram RepairProgram Synthesisreinforcement-learning+2Neural Program Synthesis from Diverse Demonstration Videos
Interpreting decision making logic in demonstration videos is key to collaborating with and mimicking humans. To empower machines with this ability, we propose a neural program synthesizer that is able to explicitly…
Decision MakingProgram SynthesisProgram Synthesis Through Reinforcement Learning Guided Tree Search
Program Synthesis is the task of generating a program from a provided specification. Traditionally, this has been treated as a search problem by the programming languages (PL) community and more recently as a supervised …
Program Synthesisreinforcement-learningReinforcement LearningReinforcement Learning (RL)Program Synthesis from Visual Specification
Program synthesis is the process of automatically translating a specification into computer code. Traditional synthesis settings require a formal, precise specification. Motivated by computer education applications where…
Program SynthesisEgoCoder: Intelligent Program Synthesis with Hierarchical Sequential Neural Network Model
Programming has been an important skill for researchers and practitioners in computer science and other related areas. To learn basic programing skills, a long-time systematic training is usually required for beginners. …
Program SynthesisText GenerationLeveraging Grammar and Reinforcement Learning for Neural Program Synthesis
Program synthesis is the task of automatically generating a program consistent with a specification. Recent years have seen proposal of a number of neural approaches for program synthesis, many of which adopt a sequence …
Machine TranslationProgram Synthesisreinforcement-learningReinforcement Learning+1Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples
Synthesizing user-intended programs from a small number of input-output examples is a challenging problem with several important applications like spreadsheet manipulation, data wrangling and code refactoring. Existing s…
Program SynthesisHOUDINI: Lifelong Learning as Program Synthesis
We present a neurosymbolic framework for the lifelong learning of algorithmic tasks that mix perception and procedural reasoning. Reusing high-level concepts across domains and learning complex procedures are key challen…
Lifelong learningProgram SynthesisTransfer LearningNeural Program Search: Solving Programming Tasks from Description and Examples
We present a Neural Program Search, an algorithm to generate programs from natural language description and a small number of input/output examples. The algorithm combines methods from Deep Learning and Program Synthesis…
Program SynthesisRecent Advances in Neural Program Synthesis
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 possibi…
Object RecognitionProgram inductionProgram SynthesisTranslationNeural Program Synthesis with Priority Queue Training
Models and examples built with TensorFlow
Program SynthesisDynamic Neural Program Embeddings for Program Repair
Neural program embeddings have shown much promise recently for a variety of program analysis tasks, including program synthesis, program repair, code completion, and fault localization. However, most existing program emb…
Code CompletionFault localizationProgram RepairProgram SynthesisCode Synthesis with Priority Queue Training
We consider the task of program synthesis in the presence of a reward function over the output of programs, where the goal is to find programs with maximal rewards. We introduce a novel iterative optimization scheme, whe…
Program SynthesisReinforcement LearningNeural Program Search: Solving Data Processing Tasks from Description and Examples
We present a Neural Program Search, an algorithm to generate programs from natural language description and a small number of input / output examples. The algorithm combines methods from Deep Learning and Program Synthes…
Program SynthesisLearning to select examples for program synthesis
Program synthesis is a class of regression problems where one seeks a solution, in the form of a source-code program, that maps the inputs to their corresponding outputs exactly. Due to its precise and combinatorial natu…
Program SynthesisDynamic Neural Program Embedding for Program Repair
Neural program embeddings have shown much promise recently for a variety of program analysis tasks, including program synthesis, program repair, fault localization, etc. However, most existing program embeddings are base…
Fault localizationProgram RepairProgram SynthesisSelecting Representative Examples for Program Synthesis
Program synthesis is a class of regression problems where one seeks a solution, in the form of a source-code program, mapping the inputs to their corresponding outputs exactly. Due to its precise and combinatorial nature…
Program Synthesis