1 paper
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.…