Formal Verification of Minimax Algorithms
arXiv:2509.20138v2 Announce Type: replace
Abstract: Minimax-based search algorithms with alpha-beta pruning and transposition tables are a central component of classical game-playing engines and remain widely used in practice. Despite their widespread…