A Linear-Attention Method Claims Exact State Tracking Without a Growing KV Cache · Polylog