Silver, T.; Chitnis, R.; Kumar, N.; McClinton, W.; Lozano-Pérez, T.; Kaelbling, L.; Tenenbaum, J. B. Predicate Invention for Bilevel Planning. AAAI 2023, 37, 12120-12129.