aiqbench analysis
This research proposes a hybrid framework that combines symbolic planning with residual reinforcement learning to address the limitations of purely symbolic inverse manipulation in robotics. By automatically extracting STRIPS-like operators from demonstrations, the method uses a planner for coarse restoration while an RL policy refines the execution to satisfy continuous physical dynamics. The approach effectively bridges the gap between abstract state transitions and physically grounded inverse skills, offering a robust solution for complex robotic tasks.
Inverse Manipulation through Symbolic Planning and Residual Operator Learning
arXiv:2606.05248v1 Announce Type: new Abstract: Inverting a robotic task requires more than reversing symbolic state transitions or rewinding motor trajectories. In robot manipulation tasks, symbolic inverse plans often fail to fully restore the effects of forward executions under continuous interaction dynamics. We present a hybrid framework for inverse manipulation that derives inverse-skill objectives from STRIPS-like operators automatically extracted from demonstrations through soft geometric predicates. For each extracted operator, we construct an inverse restoration objective that preserves preconditions, restores delete effects, and negates add effects. A task planner first attempts to satisfy this objective using available action primitives. Unresolved symbolic predicates then induce a residual operator learning problem solved through Reinforcement Learning (RL). We evaluate the framework on the ManiSkill3 PushCube task. For a forward pushing skill, the symbolic inverse performs a coarse pick-and-place restoration, while a residual Soft Actor-Critic policy refines the cube pose to satisfy the remaining inverse predicates. Our results show that predicate-derived residual control can turn an approximate symbolic inverse into a physically grounded inverse skill.
Abstract:Inverting a robotic task requires more than reversing symbolic state transitions or rewinding motor trajectories. In robot manipulation tasks, symbolic inverse plans often fail to fully restore the effects of forward executions under continuous interaction dynamics. We present a hybrid framework for inverse manipulation that derives inverse-skill objectives from STRIPS-like operators automatically extracted from demonstrations through soft geometric predicates. For each extracted operator, we construct an inverse restoration objective that preserves preconditions, restores delete effects, and negates add effects. A task planner first attempts to satisfy this objective using available action primitives. Unresolved symbolic predicates then induce a residual operator learning problem solved through Reinforcement Learning (RL). We evaluate the framework on the ManiSkill3 PushCube task. For a forward pushing skill, the symbolic inverse performs a coarse pick-and-place restoration, while a residual Soft Actor-Critic policy refines the cube pose to satisfy the remaining inverse predicates. Our results show that predicate-derived residual control can turn an approximate symbolic inverse into a physically grounded inverse skill.
Robotics (cs.RO)
arXiv:2606.05248 [cs.RO]
(or arXiv:2606.05248v1 [cs.RO] for this version)
https://doi.org/10.48550/arXiv.2606.05248 Focus to learn more arXiv-issued DOI via DataCite
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 255 words
Related coverage

The Machines that Make the Machines
NVIDIA · Oct 7, 2026
DynaForge: Planning-Guided Residual Learning for Dynamic Manipulation Demonstration Generation
arXiv · Sep 24, 2026
Macro-Operator Generation and Predicate Selection for TAMP Operator Learning
arXiv · Aug 27, 2026
STRIPS-WM: Learning Grounded Propositional STRIPS-style World Models from Images
arXiv · Jun 8, 2026