research
∙
03/21/2021
Dual Monte Carlo Tree Search
AlphaZero, using a combination of Deep Neural Networks and Monte Carlo T...
research
∙
01/17/2021
Solving QSAT problems with neural MCTS
Recent achievements from AlphaZero using self-play has shown remarkable ...
research
∙
01/11/2021
First-Order Problem Solving through Neural MCTS based Reinforcement Learning
The formal semantics of an interpreted first-order logic (FOL) statement...
research
∙
03/08/2019