T. Silver, “Predicate Invention for Bilevel Planning”, AAAI, vol. 37, no. 10, pp. 12120-12129, Jun. 2023.