SkillWrapper: Generative Predicate Invention for Task-level Robot Planning
SkillWrapper uses large Foundation Models to automatically learn symbolic models for robot planning from RGB images. It actively explores data and invents human-interpretable predicates and operators with formal guarantees of correctness, ensuring the learned model is sound and complete for task-level planning.