43 citations · 99 across the 31 of their papers we have counts for
Showing 2025 · cs.AIShow all
2 papers · 2 filters
cs.AI2025
Generalized Proof-Number Monte-Carlo Tree Search
Jakub Kowalski, Dennis J. N. J. Soemers, Szymon Kosakowski +1
This paper presents Generalized Proof-Number Monte-Carlo Tree Search: a generalization of recently proposed combinations of Proof-Number Search (PNS) with Monte-Carlo Tree Search (…
cs.AI2025
Ludax: A GPU-Accelerated Domain Specific Language for Board Games
Graham Todd, Alexander G. Padula, Dennis J. N. J. Soemers +1
Games have long been used as benchmarks and testing environments for research in artificial intelligence. A key step in supporting this research was the development of game descrip…