Single-Agent Policy Tree Search With Guarantees

Laurent Orseau, Levi H. S. Lelis, Tor Lattimore +1

We introduce two novel tree search algorithms that use a policy to guide search. The first algorithm is a best-first enumeration that uses a cost function that allows us to prove a…