Prashank Kadam | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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

Success!

An error occurred