107 citations · 1k across the 45 of their papers we have counts for
5 papers · 2 filters
Synthetic Datasets for Neural Program Synthesis
Richard Shin, Neel Kant, Kavi Gupta +4
The goal of program synthesis is to automatically generate programs in a particular language from corresponding specifications, e.g. input-output behavior. Many current approaches…
Learning Transferable Graph Exploration
Hanjun Dai, Yujia Li, Chenglong Wang +3
This paper considers the problem of efficient exploration of unseen environments, a key challenge in AI. We propose a `learning to explore' framework where we learn a policy from a…
MoËT: Mixture of Expert Trees and its Application to Verifiable Reinforcement Learning
Marko Vasic, Andrija Petrovic, Kaiyuan Wang +3
Rapid advancements in deep learning have led to many recent breakthroughs. While deep learning models achieve superior performance, often statistically better than humans, their ad…
Neural Program Repair by Jointly Learning to Localize and Repair
Marko Vasic, Aditya Kanade, Petros Maniatis +2
Due to its potential to improve programmer productivity and software quality, automated program repair has been an active topic of research. Newer techniques harness neural network…
Neural-Guided Symbolic Regression with Asymptotic Constraints
Li Li, Minjie Fan, Rishabh Singh +1
Symbolic regression is a type of discrete optimization problem that involves searching expressions that fit given data points. In many cases, other mathematical constraints about t…