mlsanityData to 14 Oct 2026

The Mathematical Game

arXiv 2309.12711 ↗First posted 22 Sep 2023cs.AIcited by 1

Not on the map. Why?

Abstract (arXiv)

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. In this paper we propose to improve the performance of the Holophrasm theorem prover using other game tree search algorithms.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 3 of its 9 references that are in the map. First posted on arXiv 22 Sep 2023.

Builds on

3 of 9 references.

References · 3

  1. 2022HyperTree Proof Search for Neural Theorem Provingcited by 197
  2. 2019Accelerating Self-Play Learning in Gocited by 64
  3. 2016Holophrasm: a neural Automated Theorem Prover for higher-order logiccited by 29

Built on by

Cited by year

Citing papers per year: 2024: 1.

1 paper.

  1. 2024Discovering Mathematical Formulas from Data via GPT-guided Monte Carlo Tree Searchcited by 10