
-
Latent Programmer: Discrete Latent Codes for Program Synthesis
In many sequence learning tasks, such as program synthesis and document ...
read it
-
Learning Discrete Energy-based Models via Auxiliary-variable Local Exploration
Discrete structures play an important role in applications like program ...
read it
-
Deep Learning Software Engineering: State of Research and Future Directions
Given the current transformative potential of research that sits at the ...
read it
-
BUSTLE: Bottom-up program-Synthesis Through Learning-guided Exploration
Program synthesis is challenging largely because of the difficulty of se...
read it
-
Scaling Symbolic Methods using Gradients for Neural Model Explanation
Symbolic techniques based on Satisfiability Modulo Theory (SMT) solvers ...
read it
-
Neural Program Synthesis with a Differentiable Fixer
We present a new program synthesis approach that combines an encoder-dec...
read it
-
TF-Coder: Program Synthesis for Tensor Manipulations
The success and popularity of deep learning is on the rise, partially du...
read it
-
Towards Modular Algorithm Induction
We present a modular neural network architecture Main that learns algori...
read it
-
Towards a Kernel based Physical Interpretation of Model Uncertainty
This paper introduces a new information theoretic framework that provide...
read it
-
Synthetic Datasets for Neural Program Synthesis
The goal of program synthesis is to automatically generate programs in a...
read it
-
Learning Transferable Graph Exploration
This paper considers the problem of efficient exploration of unseen envi...
read it
-
MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees
Deep Reinforcement Learning (DRL) has led to many recent breakthroughs o...
read it
-
SyGuS-Comp 2018: Results and Analysis
Syntax-guided synthesis (SyGuS) is the computational problem of finding ...
read it
-
Neural Program Repair by Jointly Learning to Localize and Repair
Due to its potential to improve programmer productivity and software qua...
read it
-
Neural-Guided Symbolic Regression with Semantic Prior
Symbolic regression has been shown to be quite useful in many domains fr...
read it
-
Robust Text-to-SQL Generation with Execution-Guided Decoding
We consider the problem of neural semantic parsing, which translates nat...
read it
-
Execution-Guided Neural Program Decoding
We present a neural semantic parser that translatesnatural language ques...
read it
-
Towards Mixed Optimization for Reinforcement Learning with Program Synthesis
Deep reinforcement learning has led to several recent breakthroughs, tho...
read it
-
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
Program synthesis is the task of automatically generating a program cons...
read it
-
Programmatically Interpretable Reinforcement Learning
We study the problem of generating interpretable and verifiable policies...
read it
-
Program Repair via Direct State Manipulation
The goal of program repair is to automatically fix programs to meet a sp...
read it
-
Learning and analyzing vector encoding of symbolic representations
We present a formal language with expressions denoting general symbol st...
read it
-
Natural Language to Structured Query Generation via Meta-Learning
In conventional supervised training, a model is trained to fit all the t...
read it
-
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections
The paper describes a new algorithm to generate minimal, stable, and sym...
read it
-
Deep Reinforcement Fuzzing
Fuzzing is the process of finding security vulnerabilities in input-proc...
read it
-
SyGuS-Comp 2017: Results and Analysis
Syntax-Guided Synthesis (SyGuS) is the computational problem of finding ...
read it
-
Dynamic Neural Program Embedding for Program Repair
Neural program embeddings have shown much promise recently for a variety...
read it
-
Data-Driven Feedback Generation for Introductory Programming Exercises
This paper introduces the "Search, Align, and Repair" data-driven progra...
read it
-
WebRelate: Integrating Web Data with Spreadsheets using Examples
Data integration between web sources and relational data is a key challe...
read it
-
Not all bytes are equal: Neural byte sieve for fuzzing
Fuzzing is a popular dynamic program analysis technique used to find vul...
read it
-
Semantic Code Repair using Neuro-Symbolic Transformation Networks
We study the problem of semantic code repair, which can be broadly defin...
read it
-
Program Synthesis using Abstraction Refinement
We present a new approach to example-guided program synthesis based on c...
read it
-
Neural Program Meta-Induction
Most recently proposed methods for Neural Program Induction work under t...
read it
-
Synthesis of Data Completion Scripts using Finite Tree Automata
In application domains that store data in a tabular format, a common tas...
read it
-
Deep API Programmer: Learning to Program with APIs
We present DAPIP, a Programming-By-Example system that learns to program...
read it
-
Learn&Fuzz: Machine Learning for Input Fuzzing
Fuzzing consists of repeatedly testing an application with modified, or ...
read it
-
Summary - TerpreT: A Probabilistic Programming Language for Program Induction
We study machine learning formulations of inductive program synthesis; t...
read it
-
Neuro-Symbolic Program Synthesis
Recent years have seen the proposal of a number of neural architectures ...
read it
-
TerpreT: A Probabilistic Programming Language for Program Induction
We study machine learning formulations of inductive program synthesis; g...
read it
-
Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks
We present a method for automatically generating repair feedback for syn...
read it
-
Automated Feedback Generation for Introductory Programming Assignments
We present a new method for automatically providing feedback for introdu...
read it