most citedFirst-Order Problem Solving through Neural MCTS based Reinforcement Learning

5 citations · 5 across the 1 of their papers we have counts for

collaborators

1 paper

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…