Program Synthesis Through Reinforcement Learning Guided Tree Search.
Riley Simmons-EdlerAnders MiltnerH. Sebastian SeungPublished in: CoRR (2018)
Keyphrases
- program synthesis
- tree search
- reinforcement learning
- state space
- branch and bound
- search algorithm
- search tree
- constraint propagation
- mathematical programming
- inductive logic programming
- dynamic programming
- learning algorithm
- path finding
- decision trees
- constraint satisfaction
- particle swarm optimization
- supervised learning
- special case
- search space
- database