Program Synthesis Through Reinforcement Learning Guided Tree Search

The multi-armed bandit problem: decomposition and computation

Michael N Katehakis and Arthur F Veinott Jr · 1987

Earlier work this paper cites.

Simple statistical gradient-following algorithms for connectionist reinforcement learning

Ronald J Williams · 1992

Earlier work this paper cites.

Long short-term memory

Sepp Hochreiter and Jürgen Schmidhuber · 1997

Earlier work this paper cites.

Reinforcement Learning: An Introduction

Richard Sutton and Andrew Barto · 1998

Earlier work this paper cites.

Automated theorem proving, 2004

Frank Pfenning · 2004

Earlier work this paper cites.

Combinatorial sketching for finite programs

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodik, Sanjit Seshia, and Vijay Saraswat · 2006

Earlier work this paper cites.

A Combined Analytical and Search-based Approach to the Inductive Synthesis of Functional Programs

Emanuel Kitzelmann · 2010

Earlier work this paper cites.

Automating string processing in spreadsheets using input-output examples

Sumit Gulwani · 2011

Earlier work this paper cites.

An analytical inductive functional programming system that avoids unintended programs

Susumu Katayama · 2012

Earlier work this paper cites.

Stochastic superoptimization

Eric Schkufza, Rahul Sharma, and Alex Aiken · 2013

Earlier work this paper cites.

Recursive program synthesis

Aws Albarghouthi, Sumit Gulwani, and Zachary Kincaid · 2013

Cited alongside, same era.

Complete completion using types and weights

Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, and Ruzica Piskac · 2013

Cited alongside, same era.

FlashExtract: A framework for data extraction by examples

Vu Le and Sumit Gulwani · 2014

Cited alongside, same era.

The risc-v instruction set manual, volume i: User-level isa, version 2.0

Andrew Waterman, Yunsup Lee, David A. Patterson, and Krste Asanović · 2014

Cited alongside, same era.

Synthesizing data structure transformations from input-output examples

John K. Feser, Swarat Chaudhuri, and Isil Dillig · 2015

Cited alongside, same era.

Example-directed synthesis: A type-theoretic interpretation (extended version)

Jonathan Frankle, Peter-Michael Osera, David Walker, and Steve Zdancewic · 2015

Cited alongside, same era.

Terpret: A probabilistic programming language for program induction

Alexander Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, and Daniel Tarlow · 2016

Later among the works it cites.

Optimizing synthesis with metasketches

James Bornholt, Emina Torlak, Dan Grossman, and Luis Ceze · 2016

Later among the works it cites.

Dueling network architectures for deep reinforcement learning

Ziyu Wang, Tom Schaul, Matteo Hessel, Hado Hasselt, Marc Lanctot, and Nando Freitas · 2016

Later among the works it cites.

Deep reinforcement learning with double q-learning

Hado Van Hasselt, Arthur Guez, and David Silver · 2016

Later among the works it cites.

Program synthesis

Sumit Gulwani, Oleksandr Polozov, and Rishabh Singh · 2017

Later among the works it cites.

Component-based synthesis of table consolidation and transformation tasks from examples

Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, and Swarat Chaudhuri · 2017