Top- Retrieval Leaves Memory Value Undetermined
Organizations: Department of Computer Science, Illinois Institute of Technology, Chicago, IL, USA
Abstract
A memory-augmented agent must decide which memories to keep, merge and retrieve, and its only evidence of their value is its retrieval log: the memories it retrieved in each episode and whether it succeeded. Existing methods assign every memory a value from this log, even when the log cannot separate one memory's contribution from another's. We treat the log as an experiment that nobody designed and ask which memory values it determines. Two counts answer this before any outcome is observed: how often each memory was retrieved, and how often each pair was retrieved together. From these counts, we prove that top- retrieval leaves every memory value undetermined, however many episodes are logged, and that a question with its own memories, asked once, determines at most one of their values. On fourteen standard memory benchmarks, no memory value is determined in any of 55 configurations. Both causes are choices about retrieval. We introduce LEDGER, which estimates each determined Shapley value in closed form with a confidence interval and reports every other value as undetermined. It merges memories with identical histories without losing a determined value, and it retrieves so that the next log determines more. On pooled HotpotQA, LEDGER raises the fraction of memories determined from 0.001 to 0.797, at a cost of 2.6 accuracy points on HotpotQA and with a gain of 2.7 on LoCoMo.
Figures & tables
| Benchmark | Store | Blocks | Determined | |||
| HotpotQA | 3, 5, 10 | per question | 300 | 2,971 | 300 | 0 |
| HotpotQA (1,200 q.) | 3, 5, 10 | per question | 1,200 | 11,912 | 1,200 | 0 |
| MuSiQue | 3, 5, 10 | per question | 300 | 5,999 | 300 | 0 |
| WikiHop | 3, 5, 10 | per question | 300 | 4,560 | 300 | 0 |
| TriviaQA | 3, 5, 10 | per question | 300 | 27,456 | 300 | 0 |
| LongMemEval | 3, 5, 10 | per question | 300 | 6,845 | 300 | 0 |
Appendix figures & tables14 assets
Supplementary material from the paper’s appendix.
Appendix
| Step | Time | Memory |
|---|---|---|
| Gram matrix | ||
| Kernel basis and | ||
| Test for all memories | ||
| Estimates and intervals | , once | |
| Merging (Algorithm 2 ) | expected | |
| Retrieval, one episode |
| Result | Design | Artifact |
|---|---|---|
| Audit, configurations (Table 2 ) | fourteen benchmarks, one pass, their own retrieval | audit_stageB.csv |
| Fraction determined, four rules (Figure 3 a) | pooled HotpotQA, questions passes, , , seeds – | e1_ |
| identifiability.csv | ||
| Baseline-test residuals | same log as above | e1_ident_ |
| both_bases.csv | ||
| Accuracy, LEDGER against top- | pooled HotpotQA, held-out questions, store of memories | e1_primary.csv |
| Benchmark | Memory | Store | Sizes |
|---|---|---|---|
| HotpotQA ( Yang et al., 2018 ) | paragraph | per question | 3, 5, 10 |
| MuSiQue ( Trivedi et al., 2022 ) | paragraph | per question | 3, 5, 10 |
| WikiHop ( Welbl et al., 2018 ) | supporting document | per question | 3, 5, 10 |
| TriviaQA ( Joshi et al., 2017 ) | paragraph of the Wikipedia contex | per question | 3, 5, 10 |
| LongMemEval ( Wu et al., 2025 ) | turn | per question | 3, 5, 10 |
| MSC-Self-Instruct ( Xu et al., 2021 ) | turn | per dialogue | 3, 5, 10 |
| Rule | Parameter | Determined | Mean | Accuracy change | |
|---|---|---|---|---|---|
| Top- | — | ( ) | — | — | |
| LEDGER | , | ( ) | |||
| -greedy | ( ) | ||||
| -greedy | ( ) | ||||
| Perturbation | ( ) | ||||
| Perturbation | ( ) |
| Corpus | Questions | Top- | LEDGER | Change | interval |
|---|---|---|---|---|---|
| LoCoMo | |||||
| LongMemEval |
| Questions | Share | Gold lost per question | Accuracy change | interval |
|---|---|---|---|---|
| Top- found all gold | ||||
| Top- missed some gold |
| Reader | Gold | Own store | Pooled store | Cost of pooling |
|---|---|---|---|---|
| gemini-2.5-flash-lite | ||||
| gemini-3.6-flash | ||||
| gemini-3.7-flash |
| Designs | Settings | Settings reporting | Every memory | Reported values | |
|---|---|---|---|---|---|
| full rank | |||||
| full rank | |||||
| rank-deficient |
| Interval | ||
|---|---|---|
| LEDGER, Eq. Eq. ( 5 ) | ||
| Abbasi-Yadkori et al. (2011) , | ( – ) | ( – ) |
| Log | Identical histories | Similar histories | ||||
|---|---|---|---|---|---|---|
| Rule | Units | Determined | Units | Determined | Units | Determined |
| LEDGER | ||||||
| Perturbation, | ||||||
| Claim | Decision rule | Where | Outcome |
|---|---|---|---|
| Standard benchmarks determine no memory value | falsified if a private-store protocol gives fewer than times as many blocks as contexts, or a fraction above at a fixed | 5.2 | held: of configurations |
| The remedy recovers identifiability on three audited benchmarks | fractions above floors of , , ; falsified below or a quarter of the rank bound | F | failed: , , ; falsified on MemoryAgentBench |
| Reach is the binding ceiling | falsified if the window arm is flat or non-monotone, or the passes arm rises by or more | — | failed on two of three benchmarks |
| The crossover rule on synthetic logs | rises below , falls above, peak in , range at least | — | held: peak at , range |
| Instrumentation is approximately free | interval contains zero with half-width below | 5.3 | withdrawn: |
| Displacement is the mechanism | gold retrieved per question on found-gold questions below | 5.3 | held: |
| Defect | Earlier value | Corrected value |
| Pipeline | ||
| Baseline offset mishandled in eight estimator methods and four callers | coverage ; value recovery at chance | coverage ; recovery restored |
| Three bugs in the merging rule for undetermined totals (Case 1) | of accepted | and of |
| A shadowed tolerance and a ridge-inverted kernel in one validation test, and a fixed-size test that divided by zero | tests passed without measuring | tests measure coverage |
| Paragraph splitter fell back silently | NarrativeQA as memories; InfiniteBench as episodes | and memories; episodes |
| Audit rows with read as evidence | of counted | reported as automatic |
| Store, episodes and retrieval | |
| number of memories in the store | |
| memory , for | |
| number of episodes | |
| , | query of episode ; the distribution it is drawn from |
| set of memories retrieved in episode | |
| retrieval size of episode ; written when every episode retrieves the same number | |
| Episode | one query, one retrieval, one answer and its outcome |
| Log | the retrieved sets and outcomes of all episodes, stored as and |
| Determined, identifiable | the log determines exactly when lies in the row space of ; the two words are used interchangeably |
| Undetermined | not determined; LEDGER reports no estimate for such a memory |
| Invisible change | a vector : and predict the same outcome in every episode |
| Convention | a habit of retrieval or evaluation that fixes the counts of the log, such as a fixed size or a private store |
| Top- log | a log in which every episode retrieves exactly memories |