arXiv Computation and Language

A State Change Is Local, Its Consequences Are Not: Dependency-Aware State Revision for Long-Term Agent Memory

The paper introduces StateGraph, a system for dependency-aware state revision in long-term agent memory. It constructs an evolving state dependency graph from interaction histories and uses counterfactual verification to determine which dependent states should be invalidated when an upstream fact changes. Evaluation on the new StateChangeBench benchmark shows StateGraph outperforms a CUPMem baseline, suggesting that explicit dependency tracking can improve selective memory revision under changing conditions.

arXiv AI
Sep 30

StateTape: Action-Conditioned Evidence Lifecycle Modeling for Long-Horizon Coding Agents

StateTape introduces a new framework for long‑horizon coding agents that rewrites the agent’s context as the code repository changes, rather than letting the context grow with every observation. It models the repository as a symbol‑level code graph, using a tape to mark symbols altered by each write and a manager model to resolve stale records. The authors provide theoretical analysis, a new benchmark called TraceBench, and empirical results showing higher resolve rates across six agents and three edit‑heavy benchmarks with minimal computational overhead.

By Ziyang Yu, Liang Zhao, Bowen Zhu, Hasibul Haque
arXiv AI
Aug 12

From Faulty Memories to Corrected Actions: Dependency-Guided Rollback Repair for Memory-Augmented Agents

arXiv:2608. 10502v1 Announce Type: new Abstract: Persistent memory lets language-model agents reuse information across sessions, but it also makes errors durable: a poisoned, stale, or misattributed record can alter reasoning, tool use, answers, and subsequent memory writes.

By Caili Yu, Yiqi Wang, Jiaqi Zhang, Yiqun Duan, Mingkai Zheng, Zhangkai Wu, Kaize Shi, Taotao Cai
arXiv AI
Oct 9

FlowState: Execution State as Memory for Long-Horizon LLM Agents

FlowState introduces a method for long-horizon LLM agents to treat execution state as a reusable memory, preserving semantically typed state nodes and their relations while separating persistent retention from on-demand access. The system uses Incremental State Update to maintain current state and Progressive State Access to reveal historical states during reasoning, allowing agents to reassess past decisions with new information. Experiments show FlowState improves success rates on MemoryArena and pass rates on τ³‑Bench by 4.55 and 13.95 percentage points, respectively, while cutting token consumption by over 40%.

By Minghao Li, Bangyan Li, Zifan Wang, Yulong Li, Hu Xu, Gan Zhang, Jingtong Wu, Wenqiang Xu
arXiv AI
Sep 30

Memory Is a Derivation: The Distributed-Evidence Paradox in Long-Term Agents

The paper introduces the Distributed‑Evidence Paradox, where long‑running LLM agents compress past interactions into persistent memories that may not be fully supported by the interaction history. It defines three key requirements—evidence scope, compositional validity, and admission reliability—and proposes DerivAudit, a framework that checks whether a memory is truly supported by the available history. Experiments on two memory corpora show that expanding the evidence base can recover support for many memories, yet many remain unsupported, and broader evidence alone does not guarantee reliable admission.

By Hongjun Liu, Chen Zhao