Skip to content

Forgetful Attention: An Auditable Support-Vector Memory for Selective Retention and Verified Deletion

Jul 2026 · 1 citation · 20 references
Computer Science

Abstract

Auditable memory requires a precise contract: which output is preserved, relative to which reference solve, and across which updates. We introduce Support Vector Attention (SV-Attention), a one-class support vector data description (SVDD) gate whose coefficients enter the readout. Zero-coefficient keys are reserve; positive-coefficient keys are active. Removing a reserve token without re-solving preserves the current readout. Maintained deletion, which updates the existing solver state, targets a fresh retained-key fit under the same coefficient cap C. Across 1,200 fp64 deletion/refit trials on Gaussian, redundant, MIMIC-IV, and learned keys, 1,199 complete. Median maximum gate-score discrepancy over declared probes ranges from 4.5e-13 to 5.7e-7, and fresh refitting is 24-223 times slower than maintained deletion on the reference CPU. A deterministic example shows that current reserve status does not guarantee equivalence after future admissions. At matched token counts, rare-group recall is 0.861 versus 0.319 for an oracle attention-mass proxy (H2O-style). In a held-out-channel ICU control, SpO2 below 90 percent defines events but SpO2 is excluded from every selector; event-hour retention is 0.464 versus 0.225 for an RBF-density baseline. A separate batched approximation supports end-to-end training; at 3.22M parameters, seven paired seeds yield mean best-validation bits per character of 2.178 versus 2.383 (p=0.001). The contracts are point-in-time and fixed-C; future-safe streaming and general-purpose performance remain open, and larger fixed-step runs suggest slower optimization.

View source

Similar papers

#machine learning Preprint Sep 2026

Positions Are Not Facts: The Mismatch Between KV Caches and Memory

This work identifies what must be preserved beyond the replaced value when using a KV cache as updatable memory and recovers distinctions missed by fixed cache similarities on synthetic record pairs.

Chang-Hai Zhou, Yu-Hua Zhou, Shi-Yang Zhang et al. · 0 citations
Preprint Aug 2026

The Acknowledgment Point Is the System: Durable Policy-Decision Receipts for AI Audit Evidence

The resulting research prototype binds each deterministic policy decision to the exact policy source, commits a privacy-minimizing record at a caller-selected synchronization boundary, and returns an Ed25519-signed receipt that states whether that boundary completed.

Neeraj Kumar Singh Beshane · 0 citations
Preprint Sep 2026

CATP: Design and Evaluation of Local Agent Authorization and Audit Evidence

A signed authorization record authenticates what a signer asserted, but does not by itself establish that the assertion agrees with the policy and action used for a runtime decision. CATP specifies the bindings needed to carry a local pre-execution decision into offline-verifiable evidence. Its hook commits to the enfo...

Ling-Feng Zhou · 0 citations
Preprint Aug 2026

Aborted but Not Forgotten: KV-Cache Retention Breaks Rollback Consistency in Language Agents

Stateful language agents assume a rejected branch can be taken back by clearing it from the application transcript. We show this breaks when the serving session retains key/value (KV) state across the logical abort: the model can continue attending to content the application believes it discarded. We formalize the miss...

Gui-Jia Zhang, Harry Yang · 1 citation

Related blog posts

Microsoft Research Blog Oct 12, 2026

Simulating student learning for better AI tutoring

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.