2 citations · 5 across the 11 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023
The Mathematical Game
Marc Pierre, Quentin Cohen-Solal, Tristan Cazenave
Monte Carlo Tree Search can be used for automated theorem proving. Holophrasm is a neural theorem prover using MCTS combined with neural networks for the policy and the evaluation.…
cs.AI2023
Learning to Play Stochastic Two-player Perfect-Information Games without Knowledge
Quentin Cohen-Solal, Tristan Cazenave
In this paper, we extend the Descent framework, which enables learning and planning in the context of two-player games with perfect information, to the framework of stochastic game…