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