Paper deep dive
The Von-Neumann State-Space Transformer for neural decoding
Morteza Sarafyazd
Intelligence
Status: succeeded | Model: Gemma-4-26B-A4B | Prompt: intel-v1 | Confidence: 93%
Last extracted: 8/27/2026, 4:39:01 AM
Summary
The paper introduces the Von-Neumann State-Space Transformer (VN-SST), a memory-augmented neural network architecture designed for efficient neural decoding. Unlike standard Transformers that apply fixed operators to all tokens, VN-SST uses a low-rank instruction bank and a selective state-space memory to synthesize token-specific feed-forward operators. This approach mimics the von-Neumann stored-program hypothesis, where a slow latent trajectory acts as an instruction pointer. The model demonstrates superior sample and parameter efficiency compared to modern Transformers on motor-cortex neural decoding benchmarks, particularly in low-data regimes and with longer context windows.
Entities (8)
Relation Signals (7)
VN-SST â evaluatedon â MC_RTT
confidence 95% · On three motor-cortex neural-decoding benchmarks... MC_RTT... VN-SST is far more data-efficient
VN-SST â evaluatedon â MC_Maze
confidence 95% · On three motor-cortex neural-decoding benchmarks... MC_Maze... VN-SST is far more data-efficient
VN-SST â evaluatedon â Area2_Bump
confidence 95% · On three motor-cortex neural-decoding benchmarks... Area2_Bump... VN-SST is far more data-efficient
VN-SST â uses â Instruction Bank
confidence 95% · VN-SST... whose feed-forward block is a low-rank instruction bank
VN-SST â uses â State-Space Memory
confidence 95% · VN-SST... a memory-augmented Transformer... read from a low-dimensional projection of a carried state-space memory
State-Space Memory â actsas â Instruction Pointer
confidence 90% · a slow latent trajectory acts as an instruction pointerâmirroring how low-dimensional dynamics may route cortical computation
VN-SST â outperforms â Transformer
confidence 90% · On three motor-cortex neural-decoding benchmarks, VN-SST is far more data-efficient than a modern Transformer
Cypher Suggestions (0)
No Cypher suggestions yet.
Abstract
Abstract:Cortical computation is strikingly low-dimensional: a handful of latent variables, carried in a neural population's activity, steer the higher-dimensional responses of individual neurons. Our aim is sample efficiency-models that decode well from limited data and at small parameter budgets. In a standard Transformer layer, the feed-forward block applies the same operator to every token. We suggest a von-Neumann inspired hypothesis of efficient computation as an alternative for neural decoding: a controller decodes an instruction and then executes a token-specific operator; the usual realization-a soft mixture of experts-only blends their outputs, not operators. We introduce a von-Neumann State-Space Transformer (VN-SST), a memory-augmented Transformer whose feed-forward block is a low-rank instruction bank: a shared base operator plus a small set of learned low-rank instructions, from which a per-token code synthesizes the weight matrix actually used at that token. The code is read from a low- dimensional projection of a carried state-space memory, so a slow latent trajectory acts as an instruction pointer-mirroring how low-dimensional dynamics may route cortical computation. On three motor-cortex neural-decoding benchmarks, VN-SST is far more data-efficient than a modern Transformer, each jointly predicting spikes and decoding behavior. This model wins by a wide margin on the scarcest benchmark, leads on the other two, and turns longer context into rising rather than falling accuracy. We evaluated that the network compresses a large instruction bank to a few bits per token, so program capacity acts as a control channel, not an accuracy lever. The same model is also more parameter-efficient on two small text benchmarks used for language modeling (LLMs), suggesting a generic mechanism.
Tags
Links
- Source: https://arxiv.org/abs/2608.25088v1
- Canonical: https://arxiv.org/abs/2608.25088v1
Trouble viewing inline? Open PDF directly â
Full Text
38,972 characters extracted from source content.
Expand or collapse full text
The VonâNeumann StateâSpace Transformer for Neural Decoding Morteza Sarafyazd â thanks: Affiliation: BrainCo, Somerville, US. Email: morteza.sarafyazd@brainco.tech Abstract Cortical computation is strikingly lowâdimensional: a handful of latent variables, carried in a neural populationâs activity, steer the higherâdimensional responses of individual neurons. Our aim is sample efficiencyâmodels that decode well from limited data and at small parameter budgets. In a standard Transformer layer, the feedâforward block applies the same operator to every token. We suggest a vonâNeumann inspired hypothesis of efficient computation as an alternative for neural decoding: a controller decodes an instruction and then executes a tokenâspecific operator; the usual realizationâa soft mixture of expertsâonly blends their outputs, not operators. We introduce a VonâNeumann StateâSpace Transformer (VNâSST), a memoryâaugmented Transformer whose feedâforward block is a lowârank instruction bank: a shared base operator plus a small set of learned lowârank instructions, from which a perâtoken code synthesizes the weight matrix actually used at that token. The code is read from a lowâdimensional projection of a carried stateâspace memory, so a slow latent trajectory acts as an instruction pointerâmirroring how lowâdimensional dynamics may route cortical computation. On three motorâcortex neuralâdecoding benchmarks, VNâSST is far more dataâefficient than a modern Transformer, each jointly predicting spikes and decoding behavior. This model wins by a wide margin on the scarcest benchmark, leads on the other two, and turns longer context into rising rather than falling accuracy. We evaluated that the network compresses a large instruction bank to a few bits per token, so program capacity acts as a control channel, not an accuracy lever. The same model is also more parameterâefficient on two small text benchmarks used for language modeling (LLMs), suggesting a generic mechanism. 1 Introduction Cortical computation is strikingly lowâdimensional: population activity spanning thousands of neurons is organized by a handful of latent variables, whose slow trajectories steer the faster, higherâdimensional responses of individual cells. Our focus is neural decoding that is sampleâefficientâaccurate behavioral readâout from limited data and small models. To pursue it we adopt a vonâNeumannâinspired hypothesis of efficient computation and build it into a Transformer backbone. A vonâNeumann (storedâprogram) machine has the same structure: a small, slow controller fetches and decodes an instruction, and an execution unit then runs the operator that instruction names, so a compact program steers a large, inputâspecific computation. In a standard Transformer, by contrast, the feedâforward network (FFN) applies the same fixed weights to every token; we instead give the FFN a controllerâa slowly varying stateâspace memory whose readâout selects, token by token, the operator the FFN executes. A natural first attempt is a soft mixture of experts (softâMoE), in which a controller blends the outputs of several fixed FFN experts [1]. This is a useful capacity knob, but in the vonâNeumann sense it does not execute a program: it mixes the results of fixed operators rather than constructing a tokenâspecific one. We instead let the controller synthesize the FFNâs weights themselves, per token, from a small shared bank of lowârank âinstructionsâ added to a shared base operator (Eq. 7, Section 2.2). Each tokenâs code selects a point on a lowâdimensional manifold of operators, so the executed map is genuinely tokenâspecific while each added instruction costs littleâexposing the size of the instruction bank as a scaling axis of its own, alongside parameters and data, and turning the program into a concrete control signal we can measure. The program is generated rather than looked up. We do not read the instruction off the raw token; instead we condition it on a lowâdimensional readâout of a slowly varying selectiveâstateâspace (SSM) memory carried across the sequence. The slow latent trajectory then acts as an instruction pointerâlowâdimensional dynamics that fetch which operator to runâturning the neuroscience intuition into a mechanism: a small, slow latent drives the higherâcomplexity, tokenâspecific computation. We realize this in VNâSST, a VonâNeumann StateâSpace Transformer: a dropâin, memoryâaugmented Transformerâlocal attention, a selective SSM, and a fastâweight memory, coordinated by a controllerâwhose feedâforward operator is synthesized per token from the lowârank instruction bank driven by the carried lowâdimensional state (Section 2.2). As in a scalingâlaw study [2], we compare VNâSST against a modern Transformer on three motorâcortex decoding codecs along three axesâparameters, data, and context (Sections 4.1â4.3). The programmable operator is markedly more sampleâefficient: under a limitedâdata budget it beats the Transformer by a wide margin on the scarcest codec (decode R2R^2 0.350.35 vs. 0.210.21), leads at every data budget on all three, andâuniquelyâturns a longer context window into rising rather than falling decode accuracy. A controlâbits diagnostic (Section 4.4) then makes the vonâNeumann claim measurable: the network compresses a 3232âinstruction bank to only a few bits per token (â3.4â3.4â6.56.5 effective operators), so program capacity behaves as a control channel, not an accuracy leverâa signal no outputâblending mixture can report. 2 Models Both models share a taskâagnostic backbone mapping a hidden sequence hââBĂTĂdh ^BĂ TĂ d (batch size B, sequence length T, and hidden width d) to an output of the same shape; only the input/output heads differ. For the neural codec the input head is a linear map from the N binned firing rates and there are two output heads: a linear map back to N rates (spike continuation) and a linear behavioral readâout. 2.1 Transformer baseline The baseline is a modern decoderâonly Transformer [3, 4]: a stack of identical layers, each combining preânorm RMSNorm [5], rotary position embeddings (RoPE) [6], causal multiâhead selfâattention, and a SwiGLU [7] feedâforward block. Every layer applies attention and the feedâforward block as two residual updates, hâh+AttnâĄ(RMSNormâĄ(h)),hâh+SwiGLUâĄ(RMSNormâĄ(h)),hâ h+Attn\! (RMSNorm(h) ), hâ h+SwiGLU\! (RMSNorm(h) ), (1) where the feedâforward block gates one linear projection of its input by another, SwiGLUâĄ(x)=W2â(SiLUâĄ(W1âx)âW3âx).SwiGLU(x)=W_2 (SiLU(W_1x) W_3x ). (2) The three weight matrices W1,W3,W2W_1,W_3,W_2 are shared across positions, so the same operator acts on every token. 2.2 VNâSST: memory, state space, and programmable computation VNâSST keeps the layer skeleton of the baseline but replaces its two blocks: three parallel memory pathways in place of plain attention, and a programmable feedâforward operator in place of the fixed SwiGLU. These choices are a direct reading of the storedâprogram hypothesis that motivates this work. A vonâNeumann machine separates a controller that fetches and decodes an instruction, an execution unit that runs the decoded operator, and a memory that persists state between steps; computation is the loop that reads the next instruction and applies it. VNâSST maps these roles onto a single sequence layer: the persistent selective stateâspace and fastâweight pathways are the memory, carrying state across tokens; a lowâdimensional readâout of the slow state serves as the instruction pointer that selects which operator to run next; the controller decodes that pointer into a perâtoken instruction code; and the programmable SwiGLU is the execution unit, whose weights that code synthesizes on the fly. The three pathways and the lowârank instruction bank described below are these roles made concrete. Each layer first normalizes its input, u=RMSNormâĄ(h)u=RMSNorm(h), and a small controller reads off perâtoken gatesâreadâmix gates gtâÎ2g_tâ ^2 (a simplex weighting over the three pathways) and memory write gates wtÎ,wtM=ÏâĄ(â )w _t,w^M_t=Ï(·). The three pathways then run in parallel. Pathway 1 â local sensory buffer. The first pathway is ordinary multiâhead selfâattention restricted to a causal band of width w, yloc=LocalAttnwâ(u),y^loc=LocalAttn_w(u), (3) which costs only âĄ(Tâw)O(Tw) and captures shortârange structure inside the current window, but carries nothing across windowsâthat is the job of the two persistent pathways that follow. Pathway 2 â selective state space (slow dynamics). The second pathway is a diagonal, inputâdependent SSM [8, 9] that carries a perâchannel state sââdĂns ^dĂ n (n latent states per channel) across segments. With input projection x=Wxâux=W_xu, perâtoken step size Ît=wtÎâsoftplusâ(WÎâut+b) _t=w _t\,softplus(W_ u_t+b) (write gate wtÎw _t; learned WÎW_ and bias b), inputâdependent selection vectors Bt,CtâânB_t,C_t ^n, and diagonal decay A=âexpâĄ(Alog)A=- (A_ ) (learned AlogA_ ), AÂŻt=expâĄ(ÎtâA),st=AÂŻtâstâ1+(Îtâxt)âBt,ytssm=âšst,Ctâ©+Dâxt. A_t= ( _t A), s_t= A_t s_t-1+( _tx_t) B_t, y^ssm_t= s_t,C_t +D x_t. (4) Here â is the elementwise (Hadamard) product, â the outer product, âšâ ,â ⩠·,· contracts over the n state dimensions, and D is a learned perâchannel skip. The readâout ytssmy^ssm_t is a lowâdimensional projection of the slow state sts_t; it is exactly the signal we use as the instruction pointer below. Pathway 3 â fastâweight associative memory (episodic). The third pathway is a deltaârule matrix memory MââdkĂdvM ^d_kĂ d_v (key and value dimensions dk,dvd_k,d_v), also carried across segments, with â2 _2ânormalized keys and queries kt,qtââdkk_t,q_t ^d_k and a value vtââdvv_t ^d_v (write gate wtMw^M_t). At each step it writes the current prediction error into M and reads content back by query through an output projection WoW_o, Mt=Mtâ1+wtMâktâ(vtâktâ€âMtâ1)â€,ytmem=Woâ(qtâ€âMt). M_t=M_t-1+w^M_t\,k_t (v_t-k_t M_t-1 ) , y^mem_t=W_o (q_t M_t ). (5) Writing the error rather than the raw value makes recall contentâaddressable: a key that resembles a stored one retrieves its associated value. Fusion. The three readâouts are blended by the controllerâs read gates and added back to the residual stream through a linear map WfW_f, rt=gtlocâytloc+gtssmâytssm+gtmemâytmem,hâh+Wfâr.r_t=g_t^locy^loc_t+g_t^ssmy^ssm_t+g_t^memy^mem_t, hâ h+W_fr. (6) Because the state (s,M)(s,M) persists across segments, a window of only w tokens can carry dependencies far longer than w. Programmable compute: the lowârank instruction bank. In place of a soft mixture of SwiGLU experts [1], both projections of the SwiGLU are synthesized per token from shared lowârank banks. Writing it for a generic projection W, WâĄ(t)=W0+âk=1Kct,kâUkâVkâ€,ctââK,W(t)\;=\;W_0\;+\; _k=1^Kc_t,k\,U_kV_k , c_t ^K, (7) where W0W_0 is a shared base operator and UkâVkâ€\U_kV_k \ are K learned rankâr âinstructions,â selected by the perâtoken code ctc_t. For the input map Win:âdââ2âdffW_in:R^d\!â\!R^2d_f (the concatenated gate/up projection) the bank has VkââdĂrV_k ^dĂ r and Ukââ2âdffĂrU_k ^2d_fĂ r; for the down map Wdown:âdffââdW_down:R^d_f\!â\!R^d a second bank has VkdââdffĂrV^d_k ^d_fĂ r and UkdââdĂrU^d_k ^dĂ r, both gated by the same code ctc_t. Crucially, no tokenâspecific weight is ever materialized: each programmed projection is a base map plus a lowârank correction, Winâ(t)âut=Win,0âut+âk=1Kct,kâUkâ(Vkâ€âut),W_in(t)\,u_t\;=\;W_in,0\,u_t\;+\; _k=1^Kc_t,k\,U_k (V_k u_t ), (8) i.e. project utu_t onto the KĂrKĂr bank, scale block k by the code ct,kc_t,k, and read out through U. Splitting this 2âdff2d_fâdimensional output into two dffd_f halves [gate;up]=Winâ(t)âut[\,gate;up\,]=W_in(t)\,u_t, the hidden activation ht=SiLUâĄ(gate)âuph_t=SiLU(gate) is then mapped out through the identically programmed Wdownâ(t)W_down(t). With Uk,UkdU_k,U^d_k initialized to zero the layer starts exactly at the shared base SwiGLU. The perâtoken cost of the programs is âĄ(Kârâ(d+dff))O\! (Kr(d+d_f) ), so program capacity K scales independently of the base FFNâs âĄ(dâdff)O(d\,d_f) computeâeach added instruction is âŒr/dff \!r/d_f as expensive as a full MoE expert. The instruction pointer: a manifoldâconditioned code. The code is decoded from the token and a lowâdimensional readâout of the carried SSM state (Eq. 4), ct=tanhâĄ(MLPâĄ([ut;Pâytssm]))â[â1,1]K,PââmĂd,mâȘd,c_t\;=\; \! (MLP ([\,u_t\,;\,P\,y^ssm_t\,] ) )\;â\;[-1,1]^K, P ^mĂ d,\ m d, (9) so a slow, lowâdimensional latent trajectory (PâyssmP\,y^ssm) selects which operator on the manifold executes at each tokenâthe âfetchâdecodeâexecuteâ loop, with the SSM state as program counter. The tanh keeps the synthesized operator on a bounded region of the affine manifold. 2.3 Memory carry and training Sequences are processed as contiguous segments of length L with truncated backpropagation through time: the state (s,M)(s,M) is threaded across segments and detached every few segments; the Transformer runs the identical loop but is stateless (full attention within each segment). The selectiveâSSM and deltaârule memories use exact parallel forms (a logâdepth associative scan and a chunkwise WY triangular solve), so a training step vectorizes on GPU without perâtimestep loops. 3 Benchmarks and Setup Joint neural codec (neural sequence generation and behavioral decoding). We use âcodecâ in the coderâdecoder sense: from one shared hidden state the model must both encode/continue the population spike code and decode behavior. Concretely, each of three Neural Latents Benchmark [10] recordingsâa standard testbed for latentâdynamics models of motor cortex [11]âis turned into a dualâobjective problem: from the same hidden state the model must (a) autoregressively continue the binned population spikes and (b) decode behaviorâhand or finger velocityâthrough a second linear head, minimizing â=MSEnextâspike+λâMSEdecodeL=MSE_next--spike+λ\,MSE_decode (λ=10λ=10, upâweighting the lowâdimensional behavioral term against the Nâunit spike term). We use MC_RTT (DANDI 000129, M1, randomâtarget reach; finger velocity, N=130N=130 units), MC_Maze (DANDI 000128, M1/PMd, maze reaches; hand velocity, N=182N=182), and Area2_Bump (DANDI 000127, somatosensory area 2; hand velocity, N=65N=65). Spikes are binned at 50 ms50\,ms, smoothed with a Gaussian kernel over 33 bins, and zâscored; the neural continuation is seeded with a 128âbin prefix. We report the behavioralâdecoding R2R^2 on validation data, with a memoryless ridge decoder (short causal history) as a reference. Neural nextâstep RMSE stays close to the unitâvariance noise floor (â1.0â1.0) and is matched across architectures throughoutâsingleâtrial spikes sit near that floorâso decode R2R^2 is the comparison metric. Setup. For each codec and architecture we build a ladder at fixed depth (44 layers) and scale only width, targeting the same âŒ64 64â270270K nonâembedding parameter window for both architectures. Because VNâSSTâs carried state and instruction bank add a fixed perâwidth overhead, matching this window puts the Transformer on wider blocks and VNâSST on narrower ones, so the two curves overlap on the parameter axis rather than occupying disjoint ranges; fixing depth additionally removes the shape confound that otherwise injects large nonâmonotonicities into the Transformerâs curve. The parameterâscaling figure (Section 4.1) is run at a limitedâdata budget (â25%â25\% of the full training budget; âŒ2 2/1414/77K bins for MC_RTT/MC_Maze/Area2, i.e. the smallest budget in Section 4.2), where models sit off the accuracy ceiling; the dataâ and contextâscaling sweeps use the largest available training budget. All three neural sweeps report means over 33 seeds; the sequenceâlength sweep additionally holds the number of optimizer steps fixed across context lengths (epochs scaled with L) so that context length is not confounded with training budget. Both models use AdamW [12] with a cosine schedule [13] and warmup, gradient clipping, identical data budgets and seeds, and 5050 training epochs. VNâSST uses window w, SSM state size n, memory dimensions dk=dvd_k=d_v, a manifold readâout dimension m, and a bank of K rankâr instructions as fixed hyperparameters (default K=8K=8, r=8r=8, m=8m=8). We do not match parameter counts; the scaling line reveals efficiency directly. 4 Results We study VNâSST along the three axes a scaling analysis exposesâparameters, data, and training contextâalways against a modern Transformer under matched budgets. Throughout, the comparison metric is validation behavioralâdecoding R2R^2; singleâtrial spike prediction sits near its noise floor for both architectures (Section 3), so it is the behavior readâout that separates the models. 4.1 Parameter scaling under limited data Table 1 and Figure 1 summarize the parameter sweep at a limitedâdata budget (â25%â25\% of the full training budget)âthe scenario singleâsession recordings actually occupy, and the one in which architecture matters most. Two things stand out. First, the parameter ranges are aligned: because VNâSSTâs carried state and instruction bank add a large fixed perâwidth overhead, matching the two architectures on raw parameters requires the Transformer to use wider blocks (widths 4040â8080) and VNâSST narrower ones (widths 2424â4848), so both curves cover the same âŒ64 64â270270K span rather than sitting on disjoint ranges. Second, away from the fullâdata ceiling the curves separate cleanly: replacing the dense FFN with the instruction bank helps most exactly where data is scarce. On MC_RTT peak decode R2R^2 is 0.3510.351 vs. 0.2070.207 (mean of 33 seeds)âVNâSST beats the Transformer by a wide margin while the memoryless linear decoder is not predictive (R2=â0.24R^2=-0.24)âand it keeps a clear edge on the betterâsampled Area2_Bump (0.6960.696 vs. 0.6320.632) and MC_Maze (0.7160.716 vs. 0.6550.655) codecs. Because the instruction bank synthesizes both SwiGLU projections per token, the gain is representationalâa richer perâtoken operator (Section 2.2)ârather than a parameter effect, and unlike a dense FFN it comes with the measurable control channel of Section 4.4. Because each point is a 33âseed mean and the width dependence within a ladder is mild, the robust signal here is the separation between architectures rather than the exact curvature of either curve. Table 1: Joint neural codec, parameter scaling with limited data: peak behavioralâdecoding R2R^2 (mean of 33 seeds). âLinearâ is a memoryless ridge decoder with short causal history. Benchmark decode Linear R2R^2 Transformer R2R^2 VNâSST R2R^2 MC_RTT finger vel. -0.236 0.207 0.351 MC_Maze hand vel. 0.549 0.655 0.716 Area2_Bump hand vel. 0.561 0.632 0.696 (a) MC_RTT (finger vel.) (b) MC_Maze (hand vel.) (c) Area2_Bump (hand vel.) Figure 1: Neuralâcodec parameter scaling with limited data. (aâc) Behavioralâdecoding R2R^2 vs. nonâembedding parameters on the MC_RTT, MC_Maze, and Area2_Bump codecs, respectively, for the Transformer (blue) and VNâSST (green, âinstruction bankâ), with a linear reference. The two ladders are aligned to the same âŒ64 64â270270K window (Transformer on widths 4040â8080, VNâSST on 2424â4848), since VNâSSTâs carried state and instruction bank add a fixed perâwidth overhead. Curves show the mean over 33 seeds. Away from the accuracy ceiling the architectures separate, with VNâSST leading on all three codecs; the margin is largest on the dataâscarce MC_RTT codec in (a), where VNâSST reaches R2=0.35R^2=0.35 against 0.210.21 for the Transformer and the memoryless linear decoder is not predictive (R2<0R^2<0). 4.2 Data scaling We fix the model (the fixedâdepth âŒ150 150K decoding model) and vary the amount of training data over four recordingâbin budgets per codec. Table 2: Data scaling at the fixedâdepth âŒ150 150K decoding model (5050 epochs, smoothed rates, mean of 33 seeds): decode R2R^2 at the smallest â largest training budget (four recordingâbin budgets per codec). Benchmark data (n) Transformer VNâSST MC_RTT 2k â 8k bins 0.192 â 0.522 0.295 â 0.607 MC_Maze 14k â 58k bins 0.655 â 0.847 0.672 â 0.854 Area2_Bump 7k â 28k bins 0.599 â 0.778 0.678 â 0.795 (a) MC_RTT codec (b) MC_Maze codec (c) Area2_Bump codec Figure 2: Data scaling at the fixedâdepth âŒ150 150K decoding model (mean of 33 seeds). (aâc) Decode R2R^2 vs. training bins on the MC_RTT, MC_Maze, and Area2_Bump codecs, respectively, for the Transformer (blue) and VNâSST (green). Across the four data budgets VNâSST is at least as accurate as the Transformer on all three codecs, and its advantage is largest where data is scarcest. At the smallest budget it is ahead on Area2_Bump (decode R2R^2 0.680.68 vs. 0.600.60 at âŒ7 7k bins) and on MC_RTT (0.300.30 vs. 0.190.19 at âŒ2 2k bins); the gap then narrows as data grows, with the two models close at the full recording (MC_RTT 0.610.61 vs. 0.520.52; MC_Maze 0.850.85 vs. 0.850.85; Area2 0.790.79 vs. 0.780.78). A plausible reading is that the carried lowâdimensional state supplies temporal context that partly substitutes for data, so the clearest gains appear under the tightest budgets and diminish as data grows. 4.3 Sequenceâlength scaling Holding the model and the full training set fixed, we varied only the truncatedâBPTT segment length Lâ16,32,64,128Lâ\16,32,64,128\. Because the number of optimizer steps per epoch scales as T/LT/L, a fixedâepoch sweep would confound context length with training budget: longer segments yield proportionally fewer updates. We therefore equalized the number of optimizer steps across conditions by scaling the epoch count with L, and we report the mean over 33 seeds. Table 3: Sequenceâlength scaling at the fixedâdepth âŒ150 150K decoding model and full data, at a matched training budget (epochs scaled with L so the number of optimizer steps is held constant across context lengths; mean of 33 seeds): best decode R2R^2 over Lâ16,32,64,128Lâ\16,32,64,128\ and the L at which it peaks (each cell reads best R2R^2 @ L). On the scarce MC_RTT codec the two divergeâthe Transformerâs decode gently declines as L grows (â0.570.61\!â\!0.57) while VNâSSTâs rises (â0.680.60\!â\!0.68), converting longer context into accuracy through its carried state; on the dataârich codecs both plateau (VNâSST slightly higher and flatter, and it alone holds up at L=128L=128). Benchmark seq. len. (L) Transformer VNâSST MC_RTT 16 â 128 0.612 @ 16 0.680 @ 128 MC_Maze 16 â 128 0.879 @ 32 0.878 @ 16 Area2_Bump 16 â 128 0.766 @ 32 0.779 @ 64 (a) MC_RTT codec (b) MC_Maze codec (c) Area2_Bump codec Figure 3: Sequenceâlength scaling at fixed model and full data, at a matched update budget (epochs scaled with L; mean of 33 seeds): decode R2R^2 vs. training context length L (log2 xâaxis), on the MC_RTT (a), MC_Maze (b), and Area2_Bump (c) codecs. (a) On the scarce MC_RTT codec the two architectures cross over: the Transformer starts higher at L=16L=16 but declines as the window grows (â0.570.61\!â\!0.57), whereas VNâSST rises (â0.680.60\!â\!0.68) and overtakes itâthreading state across segments, it converts longer context into decoding accuracy while the Transformerâs wider receptive field does not help its shortâhorizon behavioral readâout. (b,c) On the dataârich MC_Maze and Area2_Bump codecs both are high and largely flat, with VNâSST slightly higher. The context axis mirrors the data axis: longer context matters most where data is the binding constraint, and it is where the two architectures behave most differently. Once the update budget is matchedâremoving the fixedâepoch confound that would otherwise exaggerate any trendâthe scarce MC_RTT codec shows a clean crossover. The Transformer starts ahead at L=16L=16 (0.610.61) but its decode drifts down as the window grows. This is expected for the task rather than a general context effect: instantaneous velocity is a shortâhorizon readout of the current population state, so with the update budget already matched a longer window carries little additional predictive signal. What it does add is a wider attention receptive field (more capacity to overfit) and, since a fixed recording yields T/LT/L segments, fewer independent training sequences per epochâboth of which slightly hurt generalization for a plain Transformer, unlike language modeling, where the target genuinely depends on longârange context. VNâSST instead rises monotonically and overtakes it by Lâ24Lâ24. One reason is likely that its carried lowâdimensional state integrates the extra context for the readâout without widening the local window. On the dataârich codecs both stay high and largely flat (MC_Maze â0.87â0.87, Area2 â0.77â0.77; Table 3), but VNâSST is consistently slightly higher. 4.4 The program manifold and control bits Unlike a dense FFN or an outputâblending MoE, the instruction bank has an explicit capacity knobâthe programâmanifold dimension K. At a fixed model size (so perâtoken compute barely moves) we sweep Kâ1,âŠ,32Kâ\1,âŠ,32\ and, for every run, both measure decode R2R^2 and collect the perâtoken codes ctc_t on validation data to quantify how much of the program space the network actually uses. We report two summaries of the empirical code distribution: the spectral entropy of its covariance (âcode bits,â bits of instruction variation) and the participation ratio (the effective number of instructions used). Table 4 and Figure 4 report the result. Table 4: Controlâbits diagnostic. Given a program bank of size K=32K=32 at a fixed model size, we collect the perâtoken instruction codes ctc_t on validation data and report the spectral entropy of their covariance (bits of code variation) and the participation ratio (effective number of instructions used), alongside the range of decode R2R^2 over Kâ1,âŠ,32Kâ\1,âŠ,32\. On every codec the model compresses a 3232âinstruction bank to â2.5â2.5â3.23.2 bits / â3.4â3.4â6.56.5 effective operatorsâwell below the log2âĄK=5 _2K=5 ceilingâwhile decode R2R^2 is essentially flat in K: program capacity is a control/compression knob, not an accuracy lever. Benchmark K code bits log2âĄK _2K particip. ratio decode R2R^2 (range) MC_RTT 32 2.55 5.0 3.4 0.635â0.664 MC_Maze 32 2.89 5.0 5.1 0.864â0.872 Area2_Bump 32 3.20 5.0 6.5 0.779â0.787 (a) decode R2R^2 vs. K (MC_RTT) (b) control bits (MC_RTT) (c) control bits (Area2) Figure 4: Programâmanifold sweep at fixed model size. (a) Decode R2R^2 is essentially flat and nonâmonotonic in the program count Kâcapacity is not the bottleneck here. (b,c) The perâtoken instruction code compresses: given K=32K=32 instructions the network uses only â2.5â2.5â3.23.2 bits of code entropy and a participation ratio of â3.4â3.4â6.56.5, bending progressively below the log2âĄK _2K ceilingâso the network uses only a few instructions, consistently across recordings. In this study, two observations emerge, and they are the point of the architecture. (1) Program capacity is not an accuracy lever here. Decode R2R^2 is essentially flat and nonâmonotonic across K (Fig. 4a): the small motor codes these recordings support are already captured by a handful of operators, so adding instructions neither helps nor hurts. (2) The network compresses to a small instruction set. Given a bank of K=32K=32, the empirical code uses only â2.55â2.55 bits (MC_RTT), 3.203.20 (Area2), and 2.892.89 (MC_Maze)âagainst a ceiling of log2âĄ32=5 _232=5âwith participation ratios of â3.4â3.4â6.56.5 effective instructions (Table 4). The entropy curve bends below the ceiling as K grows (Fig. 4b,c): the model does not spread across all available programs but concentrates on a few, and it does so consistently across three brain areas. This is the vonâNeumann claim made numericâthe layer runs on â2.5â2.5â33 bits of program per tokenâand it is a property only operator synthesis can report. An outputâblending MoE has no addressable instruction whose entropy can be measured. It also suggests a design rule and an interpretability handle (which few operators specialize, and how they compose) that we leave to future work. 4.5 Additional modality check: language Although this paper is about neural decoding, the instruction bank is a generic feedâforward mechanism, so it is worth asking whether it also helps on a very different sequence modality. We therefore additionally tested the same VNâSST (identical bank size K, rank r, and manifold readâout) against the Transformer on two subâword (byteâlevel BPE) text corpora, tinyâShakespeare and WikiTextâ2, over a fixedâdepth, widthâscaled ladder (two layers; âŒ0.13 0.13â1.71.7M nonâembedding parameters; mean of 33 seeds), matching the fixedâdepth protocol used for the neural codecs. To see how the comparison moves with data, we run each corpus at two budgets: a small â1Ăâ budget and a â3Ăâ budget with three times as many training and validation tokens (tinyâShakespeare 114114Kâ342â342K, its full corpus; WikiTextâ2 440440Kâ1.32â1.32M). Table 5 and Figure 5 show that the instruction bank transfers, and that the effect is robust to data scale. At both budgets and on both corpora, VNâSST tracks below the Transformer across the ladder and has the steeper powerâlaw slope, so it is more parameterâefficient throughout. Adding data helps both modelsâperplexity falls sharply from the 1Ă to the 3Ă budget (WikiTextâ2 topâofâladder â52.195.7\!â\!52.1 for the Transformer and â45.174.4\!â\!45.1 for VNâSST; tinyâShakespeare â60.6174.8\!â\!60.6 and â49.4151.2\!â\!49.4)âbut it does not erase the gap. At the largest budget VNâSST still attains the best perplexity on each corpus, 49.449.4 vs. 60.660.6 on tinyâShakespeare and 45.145.1 vs. 52.152.1 on WikiTextâ2 (a â13â13â18%18\% reduction at the top of the ladder), and it reaches the Transformerâs best with roughly 22â3Ă3Ă fewer parameters. The one nuance is how the lead moves with scale: on tinyâShakespeare it widens with more data (VNâSSTâs slope steepens to â0.33-0.33), whereas on WikiTextâ2 the slopes flatten as both models saturate and the margin narrows, though VNâSST stays ahead. We read this as evidence that perâtoken operator synthesis is a generic gainâa programmable operator plus the state and fastâweight pathways help wherever longârange structure must be integrated from a small windowârather than a quirk of the neural codecs. We keep the study framed around neural decoding, where the smallâdata, smallâmodel regime makes the memory and program machinery most decisive, and treat language as a check on generality. Table 5: Additional modality checkâsubâword language modeling. Validation perplexity (best over a âŒ0.13 0.13â1.71.7M nonâembedding parameter ladder at fixed twoâlayer depth with width scaled, mean of 33 seeds, at the largest (3Ă3Ă) data budget) and the fitted powerâlaw slope vs. parameters, for the Transformer and VNâSST on byteâlevel BPE tinyâShakespeare and WikiTextâ2. The instructionâbank model, unchanged from the neural experiments, is more parameterâefficient across the ladder on both corpora, attains the best perplexity on both, and has the steeper slope on both. Transformer VNâSST Corpus best PPL slope best PPL slope tinyâShakespeare 61 -0.23 49 -0.33 WikiTextâ2 52 -0.20 45 -0.26 (a) tinyâShakespeare, 1Ă (114114K tokens) (b) WikiTextâ2, 1Ă (440440K tokens) (c) tinyâShakespeare, 3Ă (342342K tokens) (d) WikiTextâ2, 3Ă (1.321.32M tokens) Figure 5: Additional modality check: languageâmodel scaling at two data budgets. Validation perplexity vs. nonâembedding parameters (logâlog, with powerâlaw fits) for the Transformer and VNâSST. Top row (a,b): the small â1Ăâ budget; bottom row (c,d): the â3Ăâ budget with three times as many tokens; tinyâShakespeare in (a,c) and WikiTextâ2 in (b,d). The instructionâbank modelâunchanged from the neural experimentsâtracks below the Transformer across the ladder in every panel, has the steeper slope, and reaches the best perplexity. More data lowers both curves; VNâSSTâs lead widens with data on tinyâShakespeare and narrows on WikiTextâ2 (where both models saturate), but it stays ahead throughout. 5 Conclusion We replaced a Transformerâs fixed feedâforward operator with a lowârank instruction bankâa shared base operator plus K rankâr instructionsâfrom which a perâtoken, manifoldâconditioned code synthesizes the operator that the layer actually executes. The code is read from a carried lowâdimensional state, so a slow latent trajectoryâthe signal that organizes cortical population activityâacts as an instruction pointer. This makes the vonâNeumann âprogrammable FFNâ concrete: rather than blending the outputs of a few fixed experts, the layer constructs a tokenâspecific operator on a lowâdimensional weight manifold. The mechanism earns its keep exactly where real neural recordings liveâsmall data and small models. On three motorâcortex decoding codecs VNâSST matches or beats a modern Transformer along all three scaling axes: under a limitedâdata budget it leads by a wide margin on the scarcest codec, it is at least as accurate at every data budget on all three, andâuniquelyâit turns a longer context window into rising rather than falling decode accuracy. And because the operator is addressed rather than blended, the control signal itself is measurable: the network compresses a 3232âinstruction bank to only â2.5â2.5â3.23.2 bits (â3.4â3.4â6.56.5 effective operators) per token, while decode accuracy stays flat in K. Program capacity is therefore a control channel, not an accuracy lever. More broadly, these results suggest that when data and models are scarce, the useful inductive bias is not simply more parameters but a programmable operator steered by lowâdimensional dynamicsâcomputation that, like the cortex it models, runs on a few wellâchosen instructions. Two pieces are reusable beyond neural decoding: a parameterâefficient way to make feedâforward compute tokenâprogrammable, and a way to quantify how much program a trained model actually uses. Code and data availability Code to reproduce all experiments, figures, and tablesâincluding the model implementations, training loop, and scaling sweepsâis available from the authors upon request, subject to internal review. The neural benchmarks are the public Neural Latents Benchmark [10] recordings on DANDI (dandisets 000127, 000128, and 000129); the text corpora are tinyâShakespeare and WikiTextâ2, both publicly available. Acknowledgments We are grateful for our institutionâs support of this study. We thank the Neural Latents Benchmark and DANDI teams for curating and publicly hosting the datasets used in this work. This work is intended for scholarly purposes. References [1] N. Shazeer, A. Mirhoseini, K. Maziarz, A. Davis, Q. Le, G. Hinton, and J. Dean. Outrageously large neural networks: The sparselyâgated mixtureâofâexperts layer. International Conference on Learning Representations (ICLR), 2017. arXiv:1701.06538. [2] J. Kaplan, S. McCandlish, T. Henighan, T. B. Brown, B. Chess, R. Child, S. Gray, A. Radford, J. Wu, and D. Amodei. Scaling laws for neural language models. arXiv:2001.08361, 2020. [3] A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, Ć. Kaiser, and I. Polosukhin. Attention is all you need. Advances in Neural Information Processing Systems (NeurIPS), 2017. arXiv:1706.03762. [4] H. Touvron, T. Lavril, G. Izacard, X. Martinet, M.-A. Lachaux, T. Lacroix, B. RoziĂšre, N. Goyal, E. Hambro, F. Azhar, A. Rodriguez, A. Joulin, E. Grave, and G. Lample. LLaMA: Open and efficient foundation language models. arXiv:2302.13971, 2023. [5] B. Zhang and R. Sennrich. Root mean square layer normalization. Advances in Neural Information Processing Systems (NeurIPS), 2019. arXiv:1910.07467. [6] J. Su, Y. Lu, S. Pan, B. Wen, and Y. Liu. RoFormer: Enhanced transformer with rotary position embedding. arXiv:2104.09864, 2021. [7] N. Shazeer. GLU variants improve transformer. arXiv:2002.05202, 2020. [8] A. Gu, K. Goel, and C. RĂ©. Efficiently modeling long sequences with structured state spaces. International Conference on Learning Representations (ICLR), 2022. arXiv:2111.00396. [9] A. Gu and T. Dao. Mamba: Linearâtime sequence modeling with selective state spaces. arXiv:2312.00752, 2023. [10] F. Pei, J. Ye, D. Zoltowski, A. Wu, R. H. Chowdhury, H. Sohn, J. E. OâDoherty, K. V. Shenoy, M. T. Kaufman, M. Churchland, M. Jazayeri, L. E. Miller, J. Pillow, I. M. Park, E. L. Dyer, and C. Pandarinath. Neural Latents Benchmark â21: Evaluating latent variable models of neural population activity. Advances in Neural Information Processing Systems (NeurIPS) Datasets and Benchmarks Track, 2021. arXiv:2109.04463. [11] C. Pandarinath, D. J. OâShea, J. Collins, R. Jozefowicz, S. D. Stavisky, J. C. Kao, E. M. Trautmann, M. T. Kaufman, S. I. Ryu, L. R. Hochberg, J. M. Henderson, K. V. Shenoy, L. F. Abbott, and D. Sussillo. Inferring singleâtrial neural population dynamics using sequential autoâencoders. Nature Methods, 15:805â815, 2018. doi:10.1038/s41592â018â0109â9. [12] I. Loshchilov and F. Hutter. Decoupled weight decay regularization. International Conference on Learning Representations (ICLR), 2019. arXiv:1711.05101. [13] I. Loshchilov and F. Hutter. SGDR: Stochastic gradient descent with warm restarts. International Conference on Learning Representations (ICLR), 2017. arXiv:1608.03983.