Unifying Deep Predicate Invention with Pre-trained Foundation Models
arXiv:2512.17992v2 Announce Type: replace Abstract: Long-horizon robotic tasks are hard due to continuous state-action spaces and sparse feedback. Symbolic world models help by decomposing tasks into