Hypothesis Graph Refinement: Hypothesis-Driven Exploration with Cascade Error Correction for Embodied Navigation
Organizations: Harbin Institute of Technology · Beijing Institute for General Artificial Intelligence · Peking University
Abstract
Embodied agents must explore partially observed environments while maintaining reliable long-horizon memory. Existing graph-based navigation systems improve scalability, but they often treat unexplored regions as semantically unknown, leading to inefficient frontier search. Although vision-language models (VLMs) can predict frontier semantics, erroneous predictions may be embedded into memory and propagate through downstream inferences, causing structural error accumulation that confidence attenuation alone cannot resolve. These observations call for a framework that can leverage semantic predictions for directed exploration while systematically retracting errors once new evidence contradicts them. We propose Hypothesis Graph Refinement (HGR), a framework that represents frontier predictions as revisable hypothesis nodes in a dependency-aware graph memory. HGR introduces (1) semantic hypothesis module, which estimates context-conditioned semantic distributions over frontiers and ranks exploration targets by goal relevance, travel cost, and uncertainty, and (2) verification-driven cascade correction, which compares on-site observations against predicted semantics and, upon mismatch, retracts the refuted node together with all its downstream dependents. Unlike additive map-building, this allows the graph to contract by pruning erroneous subgraphs, keeping memory reliable throughout long episodes. We evaluate HGR on multimodal lifelong navigation (GOAT-Bench) and embodied question answering (A-EQA, EM-EQA). HGR achieves 72.41% success rate and 56.22% SPL on GOAT-Bench, and shows consistent improvements on both QA benchmarks. Diagnostic analysis reveals that cascade correction eliminates approximately 20% of structurally redundant hypothesis nodes and reduces revisits to erroneous regions by 4.5x, with specular and transparent surfaces accounting for 67% of corrected prediction errors.
Figures & tables
| Full Validation Set | Subset | |||
|---|---|---|---|---|
| Method | SR | SPL | SR | SPL |
| ConceptGraph [ 8 ] | 61.2 | 44.3 | 67.8 | 48.1 |
| 3D-Mem w/o memory [ 31 ] | 58.6 | 38.5 | 66.2 | 44.1 |
| 3D-Mem [ 31 ] | 62.9 | 44.7 | 69.1 | 48.9 |
| HGR (Ours) | 64.14 | 50.1 | 72.41 | 56.22 |
| Category | Language | Image | ||||
|---|---|---|---|---|---|---|
| Method | SR | SPL | SR | SPL | SR | SPL |
| ConceptGraph [ 8 ] | 65.3 | 44.7 | 55.0 | 38.9 | 64.0 | 52.8 |
| 3D-Mem [ 31 ] | 79.2 | 55.8 | 61.9 | 46.0 | 65.2 | 44.2 |
| HGR (Ours) | 80.9 | 60.3 | 69.8 | 54.5 | 68.2 | 61.7 |
| GOAT (Subset) | A-EQA | EM-EQA | ||
|---|---|---|---|---|
| Configuration | SR | SPL | LLM | LLM |
| HGR (full system) | 72.41 | 56.22 | 55.9 | 58.3 |
| w/o Semantic hypothesis | 67.71 | 50.02 | 48.4 | 50.5 |
| w/o cascade correction | 68.61 | 51.12 | 49.6 | 52.9 |
| Local delete only | 70.85 | 53.67 | 52.3 | 55.9 |
| w/o both (geometry only) | 63.42 | 45.33 | 43.3 | 45.2 |
| Method | Prediction Acc. | Latency (s) | SPL |
|---|---|---|---|
| VLM (GPT-4o) | 0.68 | 0.80 | 56.22 |
| Heuristic (co-occurrence) | 0.52 | 0.02 | 52.13 |
| Hybrid (entropy-gated) | 0.64 | 0.35 | 55.41 |
| Method | LLM-Match | LLM-Match SPL |
|---|---|---|
| Blind LLMs (no visual input) | ||
| GPT-4o | 35.9 | — |
| Question Agnostic Exploration | ||
| LLaVA-1.5 Frame Captions | 38.1 | 7.0 |
| Multi-Frame | 41.8 | 7.5 |
| VLM-Guided Exploration | ||
| Method | Avg. Frames | LLM-Match |
|---|---|---|
| Blind LLM (GPT-4) | 0 | 35.5 |
| ConceptGraph Captions | 0 | 34.4 |
| Frame Captions | 0 | 38.1 |
| Multi-Frame | 3.0 | 48.1 |
| HGR (Ours) | 3.1 | 58.3 |
| Human (Full trajectory) | Full | 86.8 |
Appendix figures & tables10 assets
Supplementary material from the paper’s appendix.
Appendix
| Property | ESC | SCOPE | ReVoLT | Tiny Moves | HGR |
|---|---|---|---|---|---|
| Semantic frontier scoring | ✓ | ✓ | ✓ | ✓ | ✓ |
| Persistent graph memory | – | – | ✓ | – | ✓ |
| Dependency tracking (DAG) | – | – | – | – | ✓ |
| Cascade error correction | – | – | – | – | ✓ |
| Non-monotonic graph update | – | – | – | – | ✓ |
| Residual Configuration | Precision | Recall | SR | SPL |
|---|---|---|---|---|
| Full ( ) | 87% | 74% | 72.41 | 56.22 |
| Drop (no category) | 78% | 71% | 70.88 | 54.31 |
| Drop (no CLIP) | 83% | 68% | 71.22 | 55.07 |
| Drop (no object IoU) | 85% | 66% | 71.04 | 54.85 |
| Refutation Rate | Precision | Recall | SR | SPL | |
|---|---|---|---|---|---|
| 0.30 | 42% | 68% | 91% | 66.2 | 49.8 |
| 0.35 | 37% | 74% | 88% | 68.1 | 51.6 |
| 0.40 | 33% | 79% | 83% | 70.0 | 53.4 |
| 0.45 | 29% | 84% | 78% | 71.5 | 55.1 |
| 0.50 | 24% | 87% | 74% | 72.41 | 56.22 |
| 0.55 | 20% | 90% | 67% | 71.8 | 55.5 |
| Geometry-only | HGR (full) | ||||
|---|---|---|---|---|---|
| VLM Backbone | Pred. Acc. | SR | SPL | SR | SPL |
| GPT-4o | 0.68 | 63.42 | 45.33 | 72.41 | 56.22 |
| InternVL2-8B | 0.57 | 63.42 | 45.33 | 69.15 | 52.08 |
| LLaVA-1.5-13B | 0.51 | 63.42 | 45.33 | 67.82 | 50.41 |
| Component | Shared | Method-Specific |
|---|---|---|
| VLM backbone (GPT-4o) | ✓ | |
| Habitat 3.0 simulator | ✓ | |
| Low-level controller (DD-PPO) | ✓ | |
| Occupancy map construction | ✓ | |
| Geodesic path planner | ✓ | |
| Step budget (500 steps) | ✓ |
| GOAT (Subset) | A-EQA | EM-EQA | ||
|---|---|---|---|---|
| Method | SR | SPL | LLM | LLM |
| No correction | 68.61 | 51.12 | 47.5 | 51.8 |
| Soft decay only | 69.42 | 52.30 | 48.8 | 53.1 |
| Soft decay + revisit penalty | 70.17 | 53.05 | 49.6 | 53.9 |
| Local delete only | 70.85 | 53.67 | 52.3 | 55.9 |
| Cascade correction (HGR) | 72.41 | 56.22 | 55.9 | 58.3 |
| Symbol | Description | Value |
|---|---|---|
| Travel cost weight (Eq. 2) | 0.15 | |
| Uncertainty bonus weight (Eq. 2) | 0.10 | |
| Spatial context radius for | 3.0 m | |
| Category mismatch weight | 0.4 | |
| Feature divergence weight | 0.3 | |
| Object IoU weight | 0.3 |
| Component | HGR | 3D-Mem |
|---|---|---|
| Frontier detection + occupancy map | 12 ms | 12 ms |
| VLM hypothesis generation (per frontier) | 0.80 s | — |
| VLM calls per episode (avg.) | 18.3 | 12.1 |
| Total VLM time per episode | 14.6 s | 9.7 s |
| Exploration scoring | 2 ms | 1 ms |
| Prediction residual test | 45 ms | — |
| Metric | HGR | 3D-Mem | ConceptGraph |
| Peak nodes per episode | 34.2 | 41.7 | 38.5 |
| Final nodes per episode | 28.6 | 41.7 | 38.5 |
| Peak edges per episode | 52.1 | 58.3 | 71.2 |
| Nodes removed (cascade) | 5.6 | 0 | 0 |
| Memory footprint (MB) | 8.2 | 12.4 | 15.7 |
Embodied Navigation
Embodied navigation studies how robots perceive, map, and move through environments to reach goals and follow instructions.
See all 138 papers