5 citations · 5 across the 1 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021
Dual Monte Carlo Tree Search
Prashank Kadam, Ruiyang Xu, Karl Lieberherr
AlphaZero, using a combination of Deep Neural Networks and Monte Carlo Tree Search (MCTS), has successfully trained reinforcement learning agents in a tabula-rasa way. The neural M…
cs.AI2021★ 5 cited
First-Order Problem Solving through Neural MCTS based Reinforcement Learning
Ruiyang Xu, Prashank Kadam, Karl Lieberherr
The formal semantics of an interpreted first-order logic (FOL) statement can be given in Tarskian Semantics or a basically equivalent Game Semantics. The latter maps the statement…