Split Reachability from Control: ID-WM Plans Long Horizons with an Implicit Dynamics World Model

Planning with world models buys test-time adaptation and usually generalizes better than learning a policy directly. But as horizons lengthen, two things go wrong: prediction error accumulates step by step, and the search space grows with the horizon. Existing hierarchical methods compress that search with rigid macro-actions or latent skills, which makes representations brittle and throws away fine-grained control. The high level picks a “grasp” skill; the low level may not actually be able to grasp.

ID-WM splits the question in two: what is reachable, and how do we get there.

Core innovation

The high level samples feasible transitions, not actions. A high-level model samples state-to-state transitions on the state manifold. It asks whether the current state can reach a candidate subgoal. It does not need to know how the joints should move or when the gripper should close. Search therefore happens in state space rather than action space, which is a much smaller problem.

The low level is an inverse dynamics solver. Given a transition, the low-level world model inverts it into an action sequence that realizes it. Using a learned world model rather than analytic inverse kinematics matters because contact and friction are exactly where analytic models break down. Subgoals handed down from the high level become executable actions rather than abstract intent.

Local physical feasibility replaces global behavioral patterns. This is the sharpest idea in the paper. Conventional hierarchies learn the behavioral modes present in the training data and recombine them. ID-WM asks only whether a transition is physically reachable. The system can then assemble long-horizon plans out of short segments in ways that never appeared in training — not by permuting seen skills, but by recombining states under a reachability constraint.

The error chain is cut structurally. A single-level world model under MPC accumulates error along the whole trajectory. With two levels, each segment is predicted over a short horizon and the gaps are covered by reachability checks. That is consistent with the reported gains being largest on complex, unseen, long-horizon configurations.

Results

• Evaluated on three navigation and manipulation suites.
• A 38.5% average improvement over state-of-the-art policy methods and diffusion-based planners.
• A 135% improvement over single-level world-model MPC on complex unseen long-horizon configurations.
• A project video page demonstrates the plans executing on long-horizon tasks.

The 135% figure needs care: the comparison is against single-level world-model MPC, not against the strongest external baseline. Still, it says the hierarchy is not a marginal tweak but the difference between solvable and unsolvable on long configurations. The 38.5% number is the more meaningful one because it crosses method families.

The claim about synthesizing new plans from short segments also deserves attention. If it holds, the system generates behavior sequences outside the training distribution at test time rather than reusing familiar skills in new scenes. That is the central promise of the world-model route over end-to-end policies.

Limitations

No real-robot experiments appear in the abstract. All three suites are simulated, and video demonstrates that it runs rather than that it survives real contact physics. Both headline numbers are relative gains with no absolute success rates, so the actual reliability of these systems is unknown. The high level’s feasibility judgement is itself learned, and its mistakes become unreachable subgoals; the abstract does not analyze how often that happens. Inference cost, sample counts, and wall-clock planning time are unreported, which is a real gap for manipulation tasks with hard timing constraints. How “feasible transitions on the state manifold” are defined under high-dimensional visual observations is also left open.

Industry implications

For teams building robot foundation models, the paper argues for modularity. A world model does not have to swallow everything in one end-to-end network; it can be split into a reachability model and a local inverse-dynamics model that are trained and replaced independently. The engineering payoff is concrete: swapping robots requires refitting only the low-level dynamics while the high-level planner carries over.

For industrial deployments, long-horizon reliability is worth more than single-step precision. Assembly, kitting, and machine tending rarely fail on step one; they fail on step fifteen, which is precisely where single-level prediction is weakest. Cutting the error chain structurally is closer to what a production line needs than simply scaling the model.

There is also a benchmarking lesson. If the main benefit shows up on unseen long-horizon configurations, a benchmark that reports only average success will systematically underrate this class of method. Evaluation sets need sufficient horizon length and genuinely novel state combinations, or the difference will not be visible.