“The main algorithmic improvement in Libratus (2017) over the 2015 bot was a shift from a pre-computed lookup table strategy to a real-time, search-based approach.”