5 citations · 7 across the 8 of their papers we have counts for
3 papers · 1 filter
Safety without alignment
András Kornai, Michael Bukatin, Zsolt Zombori
Currently, the dominant paradigm in AI safety is alignment with human values. Here we describe progress on developing an alternative approach to safety, based on ethical rationalis…
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…
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…