1k citations · 8k across the 112 of their papers we have counts for
10 papers · 1 filter
A Unified View of Piecewise Linear Neural Network Verification
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr +2
The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. Despite the rep…
Semantic Code Repair using Neuro-Symbolic Transformation Networks
Jacob Devlin, Jonathan Uesato, Rishabh Singh +1
We study the problem of semantic code repair, which can be broadly defined as automatically fixing non-syntactic bugs in source code. The majority of past work in semantic code rep…
Neural Program Meta-Induction
Jacob Devlin, Rudy Bunel, Rishabh Singh +2
Most recently proposed methods for Neural Program Induction work under the assumption of having a large set of input/output (I/O) examples for learning any underlying input-output…
Zero-Shot Task Generalization with Multi-Task Deep Reinforcement Learning
Junhyuk Oh, Satinder Singh, Honglak Lee +1
As a step towards developing zero-shot task generalization capabilities in reinforcement learning (RL), we introduce a new RL problem where the agent should learn to execute sequen…
Batched Large-scale Bayesian Optimization in High-dimensional Spaces
Zi Wang, Clement Gehring, Pushmeet Kohli +1
Bayesian optimization (BO) has become an effective approach for black-box function optimization problems when function evaluations are expensive and the optimum can be achieved wit…
Learning Disentangled Representations with Semi-Supervised Deep Generative Models
N. Siddharth, Brooks Paige, Jan-Willem van de Meent +5
Variational autoencoders (VAEs) learn representations of data by jointly training a probabilistic encoder and decoder network. Typically these models encode all features of the dat…
Deep API Programmer: Learning to Program with APIs
Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed +1
We present DAPIP, a Programming-By-Example system that learns to program with APIs to perform data transformation tasks. We design a domain-specific language (DSL) that allows for…
RobustFill: Neural Program Learning under Noisy I/O
Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju +3
The problem of automatically generating a computer program from some specification has been studied since the early days of AI. Recently, two competing approaches for automatic pro…
Batched High-dimensional Bayesian Optimization via Structural Kernel Learning
Zi Wang, Chengtao Li, Stefanie Jegelka +1
Optimization of high-dimensional black-box functions is an extremely challenging problem. While Bayesian optimization has emerged as a popular approach for optimizing black-box fun…
Stabilising Experience Replay for Deep Multi-Agent Reinforcement Learning
Jakob Foerster, Nantas Nardelli, Gregory Farquhar +4
Many real-world problems, such as network packet routing and urban traffic control, are naturally modeled as multi-agent reinforcement learning (RL) problems. However, existing mul…