2026-07-04
AI Agents
A new paper on agent memory finds that classic cache policies like LRU are consistently worse than a naive FIFO baseline. Another study on coding agents shows regressions accumulate over conversations, breaking up to 73% of tasks. Other work covers multi-head memory, context-as-garbage-collection, and dialogue-grounded policy enforcement.
Papers
5PolicyGuard: A Dialogue-Grounded Sub-Agent Verifier for Policy Adherence in LLM Agents
PolicyGuard is a sub-agent verifier designed to ensure LLM agents adhere to complex, multi-turn policies. Unlike simple argument-level guards, it shares the agent's full dialogue context, reasons over the policy, and provides corrective feedback for the agent's next turn. On the tau^2-BENCH airline benchmark, this dialogue-grounded approach improved policy adherence by up to 12 percentage points across three major model vendors, while blocking actions half as often as simpler methods.
Regression Accumulation in Multi-Turn LLM Programming Conversations
This paper rigorously studies "regression accumulation," where coding agents break previously working functionality over multi-turn conversations. On a custom benchmark derived from HumanEval+ and MBPP+, the authors find that 40% to 73% of tasks lose correct behavior over an 8-turn interaction. A manual analysis of failures identifies "Cross-Turn Conflict" as the primary cause. The proposed "Verification Gate" — which reruns prior tests and triggers a rollback-retry loop on failure — is the only mitigation that consistently improves performance across all models.
When Classic Cache Policies Fail: Learning-Augmented Replacement for Semantic Retrieval Buffers
This work formalizes agent memory retrieval as a semantic cache replacement problem and delivers a surprising finding: for semantic workloads, classic heuristics like LRU and LFU consistently underperform a naive FIFO baseline. The authors attribute this to the absence of temporal or frequency locality in semantic retrieval. They propose SOLAR, a learning-augmented framework with theoretical guarantees that achieves a 5–75% relative improvement over FIFO on tight cache sizes by better deciding when and what to evict.
Self-GC: Self-Governing Context for Long-Horizon LLM Agents
The Self-GC paper reframes context management not as simple pruning but as garbage collection for structured context objects. Instead of just dropping old tokens, it treats user turns, tool outputs, and skill states as indexed objects. A side-channel planner then proposes
fold, mask, and prune actions on these objects. Deployed in production, this system reduced daytime average input tokens by 10-15%, demonstrating a viable alternative to simple chronological or heuristic-based context truncation.Multi-Head Recurrent Memory Agents
This paper diagnoses why recurrent memory agents degrade over long contexts: the problem isn't capturing information, but retaining it. Monolithic memory blocks force every update to risk overwriting existing state. The proposed solution, Multi-Head Recurrent Memory (MHM), partitions memory into independent heads and updates only one at a time, architecturally protecting the others. A simple, training-free MHM-LRU variant improves memory retention on RULER-HQA from under 30% to 74% at ~900k tokens.
Blogs
1Fable's judgement
Simon Willison shares a practical tip from the Claude Code team: let advanced models like Fable use their own judgment rather than prescribing rigid rules. For example, instead of dictating when to run tests, tell it to decide for itself. This extends to cost management; he shows the prompt and resulting memory file from instructing an agent to delegate smaller tasks to lower-power sub-agents, a concrete pattern for hierarchical agent control.
22 more items the ranker flagged but didn't feature
Papers
- Do Machines Struggle Where Humans Do? LLM and Human Comprehension of Obfuscated Codearxiv:arxiv-software-eng
- BT-APE: A Computationally Light Backtracking Approach to Automatic Prompt Engineering for Requirements Classificationarxiv:arxiv-software-eng
- Citation Discipline in Spec-Driven Development: A Cross-Model Empirical Study of Output Determinism and Automated Hallucination Detection in LLM-Generated Codearxiv:arxiv-software-eng
- From Anatomy to Smells: An Empirical Study of SKILL.md in Agent Skillsarxiv:arxiv-software-eng
- Reward-Free Code Alignment from Pretrained or Fine-Tuned LLM: Unpacking the Trade-offs for Code Generationarxiv:arxiv-software-eng
- Hawk: Harnessing Hardware-Aware Knowledge for High-Performance NPU Kernel Generationarxiv:arxiv-software-eng
- Agent Security Meets Regulatory Reality -- A Practitioner Systematization of Autonomous-Agent Threats and Controls in Regulated Financial Systemsarxiv:arxiv-software-eng
- A Machine-Verified Proof of a Quantum-Optimization Conjecturearxiv:arxiv-agents
- SAKE: Software Architectural Knowledge Evaluation Benchmark for Large Language Modelsarxiv:arxiv-software-eng
- Rethinking Complexity Metrics for LLM-Integrated Applications: Beyond Source Codearxiv:arxiv-software-eng
- Mitigating Package Hallucinations in Large Language Models via Model Editingarxiv:arxiv-software-eng
- ReGRPO: Reflection-Augmented Policy Optimization for Tool-Using Agentsarxiv:arxiv-agents
- Risk Architecture for AI-Native Engineering Teams: An Organizational Framework for Agentic System Governancearxiv:arxiv-software-eng
- Safety from Honesty in a Disinterested AI Predictorarxiv:arxiv-agents
- Knowledge Over Parameters: Evolving Smart Contract Vulnerability Detectionarxiv:arxiv-software-eng
- AdaTrans: Automated C to Rust Transformation via Error-Adaptive Repairarxiv:arxiv-software-eng
- MMBench-Live: A Continuously Evolving Benchmark for Multimodal Modelsarxiv:arxiv-agents
- Beyond Pixel Diffs: Benchmarking Image Change Captioning for Web UI Visual Regression Testingarxiv:arxiv-software-eng
- Learning Generalizable Skill Policy with Data-Efficient Unsupervised RLarxiv:arxiv-agents
- EO-Agents: A Three-Agent LLM Pipeline for Earth Observation Hypothesis Generationarxiv:arxiv-agents
- Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalizationarxiv:arxiv-agents
Blogs
- Open Source AI Gap Maprss:simonw