5 citations · 7 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021
Towards solving the 7-in-a-row game
Domonkos Czifra, Endre Csóka, Zsolt Zombori +1
Our paper explores the game theoretic value of the 7-in-a-row game. We reduce the problem to solving a finite board game, which we target using Proof Number Search. We present a nu…
cs.AI2021
The Role of Entropy in Guiding a Connection Prover
Zsolt Zombori, Josef Urban, Miroslav Olšák
In this work we study how to learn good algorithms for selecting reasoning steps in theorem proving. We explore this in the connection tableau calculus implemented by leanCoP where…