Prashank Kadam | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Ruiyang Xu
9 publications
Karl Lieberherr
4 publications

research

∙ 03/21/2021

Dual Monte Carlo Tree Search

AlphaZero, using a combination of Deep Neural Networks and Monte Carlo T...

4 Prashank Kadam, et al. ∙

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...

12 Ruiyang Xu, et al. ∙