Bilevel Learning for Bilevel Planning
Not on the map. Why?
Abstract (arXiv)
A robot that learns from demonstrations should not just imitate what it sees -- it should understand the high-level concepts that are being demonstrated and generalize them to new tasks. Bilevel planning is a hierarchical model-based approach where predicates (relational state abstractions) can be leveraged to achieve compositional generalization. However, previous bilevel planning approaches depend on predicates that are either hand-engineered or restricted to very simple forms, limiting their scalability to sophisticated, high-dimensional state spaces. To address this limitation, we present IVNTR, the first bilevel planning approach capable of learning neural predicates directly from demonstrations. Our key innovation is a neuro-symbolic bilevel learning framework that mirrors the structure of bilevel planning. In IVNTR, symbolic learning of the predicate "effects" and neural learning of the predicate "functions" alternate, with each providing guidance for the other. We evaluate IVNTR in six diverse robot planning domains, demonstrating its effectiveness in abstracting various continuous and high-dimensional states. While most existing approaches struggle to generalize (with <35% success rate), our IVNTR achieves an average of 77% success rate on unseen tasks. Additionally, we showcase IVNTR on a mobile manipulator, where it learns to perform real-world mobile manipulation tasks and generalizes to unseen test scenarios that feature new objects, new states, and longer task horizons. Our findings underscore the promise of learning and planning with abstractions as a path towards high-level generalization.
Key facts. Cited by 7 papers in the map (data through 14 Oct 2026). First posted on arXiv 12 Feb 2025.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2025: 2; 2026: 5.
7 papers.
- 2025SLAP: Shortcut Learning for Abstract Planningcited by 3
- 2025Coloring Between the Lines: Personalization in the Null Space of Planning Constraintscited by 1
- 2026Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoningcited by 0
- 2026Dictionary-Aligned Concept Control for Safeguarding Multimodal LLMscited by 0
- 2026Learning Bilevel Policies over Symbolic World Models for Long-Horizon Planningcited by 0
- 2026Neuro-Symbolic Learning for Long-Horizon Task Planning Under Complex Logical Constraintscited by 0
- 2026Generative Flow on Symbolic Abstractions for Embodiment Capability Discoverycited by 0
- 2026Generative Flow on Symbolic Abstractions for Embodiment Capability Discovery12 Oct 2026
- 2026Neuro-Symbolic Learning for Long-Horizon Task Planning Under Complex Logical Constraints5 Jun 2026
- 2026Learning Bilevel Policies over Symbolic World Models for Long-Horizon Planning15 May 2026
- 2026Dictionary-Aligned Concept Control for Safeguarding Multimodal LLMs10 Apr 2026
- 2026Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning19 Mar 2026
- 2025SLAP: Shortcut Learning for Abstract Planning2 Nov 2025
- 2025Coloring Between the Lines: Personalization in the Null Space of Planning Constraints21 May 2025