paper-with-me

홈 › Papers

Proof Number Based Monte-Carlo Tree Search

2023-03-16 · Jakub Kowalski, Elliot Doe, Mark H. M. Winands, Daniel Górski, Dennis J. N. J. Soemers

This paper proposes a new game-search algorithm, PN-MCTS, which combines Monte-Carlo Tree Search (MCTS) and Proof-Number Search (PNS). These two algorithms have been successfully applied for decision making in a range of domains. We define three areas where the additional knowledge provided by the proof and disproof numbers gathered in MCTS trees might be used: final move selection, solving subtrees, and the UCB1 selection mechanism. We test all possible combinations on different time settings, playing against vanilla UCT on several games: Lines of Action ($7$$\times$$7$ and $8$$\times$$8$ board sizes), MiniShogi, Knightthrough, and Awari. Furthermore, we extend this new algorithm to properly address games with draws, like Awari, by adding an additional layer of PNS on top of the MCTS tree. The experiments show that PN-MCTS is able to outperform MCTS in all tested game domains, achieving win rates up to 96.2% for Lines of Action.

📄 PDF Abstract BibTeX arXiv:2303.09449

Code (1)

acatai/pn-mcts 공식 구현

Tasks

Decision Making

Methods 이 논문이 사용한 방법론

Test 설명 없음
Monte-Carlo Tree Search Monte-Carlo Tree Search is a planning algorithm that accumulates value estimates obtained from Monte Carlo simulations in order to successively direct simulations towards more…

Similar Papers 제목 키워드 기반

Combining Monte-Carlo Tree Search with Proof-Number Search

2022-06-08 · Elliot Doe, Mark H. M. Winands, Dennis J. N. J. Soemers, Cameron Browne

Proof-Number Search (PNS) and Monte-Carlo Tree Search (MCTS) have been successfully applied for decision making in a range of games. This paper proposes a new approach called PN-MCTS that combines these two tree-search m…

Decision Making

Monte Carlo Tableau Proof Search

2016-11-18 · Michael Färber, Cezary Kaliszyk, Josef Urban

We study Monte Carlo Tree Search to guide proof search in tableau calculi. This includes proposing a number of proof-state evaluation heuristics, some of which are learnt from previous proofs. We present an implementatio…

Automated Theorem Proving

Depth-First Proof-Number Search with Heuristic Edge Cost and Application to Chemical Synthesis Planning

2019-12-01 · NeurIPS 2019 12 · Akihiro Kishimoto, Beat Buesser, Bei Chen, Adi Botea

Search techniques, such as Monte Carlo Tree Search (MCTS) and Proof-Number Search (PNS), are effective in playing and solving games. However, the understanding of their performance in industrial applications is still li…

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

2024-08-15 · Huajian Xin, Z. Z. Ren, Junxiao Song, Zhihong Shao 외

We introduce DeepSeek-Prover-V1.5, an open-source language model designed for theorem proving in Lean 4, which enhances DeepSeek-Prover-V1 by optimizing both training and inference processes. Pre-trained on DeepSeekMath-…

Automated Theorem ProvingLanguage ModelingLanguage Modelling

Expected Work Search: Combining Win Rate and Proof Size Estimation

2024-05-09 · Owen Randall, Martin Müller, Ting Han Wei, Ryan Hayward

We propose Expected Work Search (EWS), a new game solving algorithm. EWS combines win rate estimation, as used in Monte Carlo Tree Search, with proof size estimation, as used in Proof Number Search. The search efficiency…

Position