Macro-Operator Generation and Predicate Selection for TAMP Operator Learning
This system discovers causally linked action pairs directly from the training data, where one action produces exactly the condition that the next one requires, and turns each pair into a new operator, and not only accelerates planning but, in certain domains, determines solvability in practice.