Latent World Models Should Plan with Distances Along the Latent Manifold
Organizations: The University of Sydney · Machine Learning Research, Apple
Abstract
Latent world models such as LeWM plan by searching for an action sequence whose predicted terminal latent is closest to the goal latent under an ambient norm, such as the Euclidean distance. Planning with such a cost assumes that proximity in the ambient latent space reflects proximity to the goal in the environment. Studying LeWM, we find that this assumption holds only in a small neighborhood around the goal, whereas farther away the L2 cost forms spurious low-cost basins that trap the planner. Yet neighborhood-based embeddings show that the latents retain the underlying physical state. We therefore hypothesize that the latents lie near a curved, low-dimensional manifold, and that the terminal cost should measure the distance along this latent manifold rather than through the ambient space. To estimate this manifold distance, we propose the Neighborhood Graph Cost (NGC), which computes shortest-path distances on a mutual nearest-neighbor graph constructed over training latents. NGC changes only the terminal cost and requires no retraining. This single change improves the planning success rate of LeWM across all four benchmark tasks and nearly solves TwoRoom and Reacher: even at the farthest goal offsets tested, NGC reaches 95% and 100% success, whereas the L2 cost falls to 27% and 81%. These results support the manifold hypothesis and our argument that latent world models should plan with distances along the latent manifold.
Figures & tables
| Task | offset | L2 | NGC | NGC | NGC L2 | NGC NGC |
|---|---|---|---|---|---|---|
| TwoRoom | 25 | 91.4 | 86.6 | 99.8 | ||
| 50 | 65.9 | 69.0 | 100.0 | |||
| 75 | 27.3 | 41.3 | 94.6 | |||
| Reacher | 25 | 99.6 | 99.3 | 99.4 | ||
| 50 | 95.6 | 96.6 | 100.0 | |||
| 100 | 80.6 | 82.2 | 100.0 |
| L2 | NGC | oracle | NGC | ||||
|---|---|---|---|---|---|---|---|
| Task | offset | learned | oracle | learned | oracle | NGC L2 | oracle learned |
| TwoRoom | 25 | 92 | 84 | 100 | 100 | ||
| TwoRoom | 50 | 65 | 58 | 100 | 100 | ||
| TwoRoom | 75 | 24 | 19 | 94 | 100 | ||
| Cube | 25 | 44 | 56 | 59 | 76 | ||
| Cube | 50 | 44 | 52 | 53 | 71 | ||
| CEM (s) | Evaluation | Objective (ms per pool) | |||
|---|---|---|---|---|---|
| Task | L2 | NGC | ( L2) | L2 | NGC |
| TwoRoom | 0.49 | 0.48 ( ) | 0.86 | 0.071 | 0.67 |
| Reacher | 0.49 | 0.52 ( ) | 1.05 | 0.070 | 0.66 |
| Cube | 0.49 | 0.53 ( ) | 1.08 | 0.070 | 0.67 |
| PushT | 0.50 | 0.52 ( ) | 1.13 | 0.070 | 0.67 |
Appendix figures & tables11 assets
Supplementary material from the paper’s appendix.
Appendix
| Task | Success criterion | Physical distance |
|---|---|---|
| TwoRoom | Endpoint within 16 px of the goal position | Path length via the doorway |
| Reacher | Joint error rad, shoulder angle compared on the circle | Norm of the difference of the two joint angles, shoulder angle compared on the circle |
| Cube | Cube center within 4 cm of the goal position | Gripper-to-cube plus cube-to-goal distance |
| PushT | Pusher and block within 20 px of the goal pose and block angle within | Pusher-to-block distance plus the root-mean-square displacement over the block’s area to the goal pose |
| Task | Offset | L2 | NGC | [95% CI] | gained/lost |
|---|---|---|---|---|---|
| TwoRoom | 25 | 91.4 [88.7, 94.0] | 99.8 [99.4, 100.0] | [ , ] | 45/1 |
| TwoRoom | 50 | 65.9 [60.9, 70.9] | 100.0 | [ , ] | 121/0 |
| TwoRoom | 75 | 27.3 [22.6, 32.1] | 94.6 [92.2, 96.7] | [ , ] | 223/0 |
| Reacher | 25 | 99.6 [99.1, 99.9] | 99.4 [98.9, 99.9] | [ , ] | 4/5 |
| Reacher | 50 | 95.6 [93.2, 97.7] | 100.0 | [ , ] | 15/0 |
| Reacher | 100 | 80.6 [76.1, 84.8] | 100.0 | [ , ] | 68/0 |
| our checkpoint | released LeWM checkpoint | ||||||
|---|---|---|---|---|---|---|---|
| Task | L2 | NGC | [95% CI] | L2 | NGC | [95% CI] | reported |
| TwoRoom | |||||||
| Reacher | |||||||
| Cube | |||||||
| PushT | |||||||
| Task | Offset | L2 | NGC | [95% CI] | , ours |
|---|---|---|---|---|---|
| TwoRoom | 25 | 85.3 | 99.8 | [ , ] | |
| TwoRoom | 50 | 61.9 | 99.8 | [ , ] | |
| TwoRoom | 75 | 28.0 | 95.1 | [ , ] | |
| Reacher | 25 | 97.9 | 97.4 | [ , ] | |
| Reacher | 50 | 96.2 | 100.0 | [ , ] | |
| Reacher | 100 | 82.6 | 100.0 | [ , ] |
| Second seed | Third seed | First seed | ||||||
|---|---|---|---|---|---|---|---|---|
| Task | Offset | L2 | NGC | [95% CI] | L2 | NGC | [95% CI] | |
| TwoRoom | 25 | 92.2 | 100.0 | 92.6 | 100.0 | |||
| TwoRoom | 50 | 69.7 | 99.8 | 66.3 | 99.2 | |||
| TwoRoom | 75 | 31.8 | 96.1 | 31.4 | 86.4 | |||
| Reacher | 25 | 99.4 | 99.4 | 99.7 | 99.9 | |||
| Reacher | 50 | 95.4 | 100.0 | 95.6 | 99.9 | |||
| Node sample (mutual) | Neighbor rule | |||||
|---|---|---|---|---|---|---|
| Task | Offset | L2 | Default | resample 1 | resample 2 | union |
| TwoRoom | 25 | 91.3 | 100.0 | 100.0 | 100.0 | 100.0 |
| TwoRoom | 75 | 23.7 | 95.7 | 95.3 | 94.7 | 94.3 |
| Reacher | 25 | 99.0 | 99.0 | 99.3 | 98.7 | 100.0 |
| Reacher | 100 | 82.7 | 100.0 | 100.0 | 100.0 | 100.0 |
| Cube | 25 | 43.7 | 57.0 | 54.3 | 53.0 | 56.3 |
| TwoRoom | Reacher | |||
| Variant | 25 | 75 | 25 | 100 |
| L2 | 91.3 | 23.7 | 99.0 | 82.7 |
| NGC (default) | 100.0 | 95.7 | 99.0 | 100.0 |
| 100.0 | 57.0 | 99.7 | 100.0 | |
| 100.0 | 64.3 | 99.7 | 100.0 | |
| 100.0 | 73.3 | 99.7 | 100.0 | |
Latent World Models
Latent world models learn compact predictive state representations to simulate how environments change and support planning, control, and reasoning.
See all 204 papers