arXiv Open Access 2023

The Mathematical Game

Marc Pierre Quentin Cohen-Solal Tristan Cazenave

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.AI

Penulis (3)

Marc Pierre

Quentin Cohen-Solal

Tristan Cazenave

Format Sitasi

APA MLA BibTeX

Pierre, M., Cohen-Solal, Q., Cazenave, T. (2023). The Mathematical Game. https://arxiv.org/abs/2309.12711

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓