① A chunk carries no context
the severed heading path was its identity
② Evidence is scattered
worse when the answer spans table, figure, and text
③ Ambiguity at corpus scale
hundreds of docs × hundreds of chunks · near-identical sentences compete
| Method | Who writes the hierarchy | Who traverses it | LLM calls / query | Table · figure evidence |
|---|---|---|---|---|
| RAPTOR | machine · pyramid of cluster summaries | no traversal · flat similarity over all levels | 0 | ✗ |
| TreeRAG | the document's own hierarchy | similarity · bidirectional (up + down) | 0 | ✗ |
| MemWalker | machine · segment summaries | LLM reasoning + backtracking | per step | ✗ |
| PageIndex | the document's own hierarchy | LLM reasoning (no vectors) | iterative | ✗ |
| RDR2 | the document's own hierarchy | a trained LLM navigator | calls | ✗ |
| HiKEY | the document's own hierarchy (auto-parsed) | scores, two stages · pick docs → pick sections | 0 (reader only) | ✓ first-class |
① Can't find it wrong document from the start
when a question needs several docs, missing one = failure
② Can't assemble it evidence fragments even when found
industrial docs = long PDFs · tables and figures carry the evidence · budget is finite
| Their bet | What they claimed | What HiKEY does instead |
|---|---|---|
| RAPTOR · generated summary pyramid | multi-level summaries make retrieval smarter | uses the hierarchy the document already has · nothing generated on the retrieval path |
| TreeRAG · bidirectional traversal | traversing upward recovers the lost context | context is restored at PACK: ancestor headings ship with the evidence, no traversal needed |
| MemWalker · PageIndex · LLM navigation | reasoning picks the right branch | same coarse-to-fine narrowing by plain scores · zero LLM calls per query |
| RDR2 · learned routing | training makes the traversal accurate | no training · works out of the box on a new corpus |
| left open by all of them | tables and figures as evidence | first-class multimodal units + budget-aware packing · the genuinely new part |
Benchmarks · corpus-level: one joint index
Competitors · 14 baselines
Metrics
Did it find the right documents · avg recall (mean of two benchmarks)
Did it find all of them · All (miss one = fail)
one bar per family: the strongest of the 14 baselines (+ RAPTOR from Part 2) · full 14-row tables are in the paper
Does it survive a tighter budget document recall@10
| Budget | HiKEY | MultiDocFusion | page methods |
|---|---|---|---|
| 0.5K tokens | 78.8 | 74.3 | cannot adapt (whole pages) |
| 1K tokens | 79.1 | 74.6 | |
| 2K tokens | 81.3 | 76.8 |
the Pack stage at work · still best at 1/32 of the full budget
Do the answers improve EM · exact match, mean of two benchmarks
largest gaps on table/figure-grounded questions and multi-hop (3+) questions
document recall (Avg R@10) when one design choice is removed · bar length = the value on a 0–100 axis
hierarchy in the index · does the Doc card need it?
hierarchy as an explicit signal: +7.4 over no hierarchy
two-stage routing · is coarse-to-fine needed?
skipping the document stage collapses recall (−12.5)
search scope · does narrowing help at all?
routing itself is worth +7.6
score signals · does each one earn its place?
each signal adds a little · the visual one completes it
The hierarchy is a free signal
Documents already carry the structure that should steer search. This is why the lineage moved from chunk similarity to hierarchy traversal.
Narrow, then bundle
HiKEY's answer: narrow in two stages, documents → sections (zero LLM calls), then fill the budget core-first. A combination tuned to the industrial setting: thousands of docs, tables and figures, a finite reader budget.
The open question (discussion)
Whichever direction the traversal takes, and however it is trained, it happens over headings and summaries. A fact they fail to carry is invisible to every method here. Who breaks this limit?