Dual Monte Carlo Tree Search

no code implementations • 21 Mar 2021 • Prashank Kadam, Ruiyang Xu, Karl Lieberherr

This technique is applicable to any MCTS based algorithm to reduce the number of updates to the tree.

First-Order Problem Solving through Neural MCTS based Reinforcement Learning

no code implementations • 11 Jan 2021 • Ruiyang Xu, Prashank Kadam, Karl Lieberherr

We propose a general framework, Persephone, to map the FOL description of a combinatorial problem to a semantic game so that it can be solved through a neural MCTS based reinforcement learning algorithm.

reinforcement-learning Reinforcement Learning (RL)