Extensive experiments on static and neuromorphic benchmarks show that lower-bit BASC models match or outperform higher-bit baselines and retain this accuracy advantage after structured pruning, while further reducing model storage and synaptic operations.
Abstract
Spiking Neural Networks (SNNs) encode information through binary spikes and compute in an event-driven manner, offering an energy-efficient paradigm for machine intelligence. However, high-performance SNNs incur substantial memory and timestep-wise computation costs that hinder deployment on resource-constrained devices. Quantization and pruning provide complementary routes to reducing these costs, yet both make their decisions with local criteria that overlook temporal task feedback in quantization and inter-channel dependencies in pruning. Consequently, optimizing either criterion can still yield suboptimal compression performance. We refer to this discrepancy as criterion-behavior mismatch and propose Behavior-Aligned SNN Compression (BASC), a unified framework with two lightweight modules. For quantization, the scale is applied to synaptic current at every timestep and therefore shifts spike timing. Temporal-Behavior Scale Correction (TSC) makes the scale learnable under a temporal loss, allowing firing behavior to inform scale optimization. For pruning, channel importance depends on how channels jointly drive the membrane potential across the firing threshold. Boundary-Level Inter-Channel Correction (BIC) uses channelwise importance scores for initial selection and inter-channel information to re-evaluate only channels near the pruning threshold. Extensive experiments on static and neuromorphic benchmarks show that lower-bit BASC models match or outperform higher-bit baselines and retain this accuracy advantage after structured pruning, while further reducing model storage and synaptic operations.
PTQ4SNN is proposed, a membrane-aware post-training quantization framework that jointly quantizes weights and recurrent membrane states using only a small calibration set and effectively preserves model accuracy under W4 quantization and approximately 4-bit membrane precision.
Hui Xie, Tong Shi, Haotong Qin et al.· 0 citations
Spiking Neural Networks (SNNs) serve as core architectures for neuromorphic computing thanks to event-driven operation and ultra-low power consumption. Direct SNN training is hindered by non-differentiable spikes that induce vanishing gradients and unstable optimization. ANN-SNN conversion circumvents such issues by reusing well-trained ANN weights for low-latency, energy-efficient inference. Nevertheless, existing conversion schemes suffer from severe accuracy drops at small timesteps, large inference delays and cumulative quantization errors, even with marginal performance loss at large $T$. To address these limitations, we first analyze flaws of conventional conversion pipelines from residual membrane potential statistics and propose a novel conversion strategy combining dynamic initial potential tuning and feature enhancement. We then introduce a regularization loss $\mathcal{L}_{\mathrm{RMPD}}$ to adapt initial potential of IF neurons and mitigate systematic truncation bias from boundary aggregation. A dedicated SCR-Conv2d competitive refinement layer with grouped convolution is further built to sharpen feature discrimination, eliminate redundant spikes and stabilize encoding under tiny time windows. Integrated with the state-of-the-art QCFS baseline, our approach delivers consistent low-latency performance gains and generalizes to ReLU CNNs, ANN Transformers, and multi-threshold SNN variants. Evaluations on CIFAR-10, CIFAR-100 and ImageNet verify prominent accuracy improvements at $T=2,4,8$, with negligible extra computation overhead. This work offers an effective conversion paradigm to facilitate real-world SNN deployment on neuromorphic chips.
Zirui Chen, Zihan Huang, Tong Bu et al.· 0 citations
Spiking neural networks offer a promising route toward low-power sequence computation on neuromorphic hardware, but they continue to lag behind attention-based artificial neural networks on long-context tasks. A central open question is whether this gap reflects only implementation and optimization limitations, or whether architectural features of spiking computation impose unfavorable learnability constraints as sequence length increases. Here, we address this question using a covering-number analysis of feedforward non-leaky integrate-and-fire (nLIF) networks in the probably approximately correct framework. Building on causal-piece decompositions and local Lipschitz continuity, we derive a global sensitivity bound for feedforward nLIF networks and extend it from single-token inputs to multi-token spike sequences. For fixed architectures under stated boundedness and margin assumptions, the resulting sufficient worst-case sample requirement has leading quadratic dependence on sequence length. This dependence arises from cumulative causal participation across time and depth, which increases global sensitivity along active spike paths. We then test the mechanistic implications of this theory using finite-sample cue-recall and teacher–student benchmarks across spiking, recurrent, and attention-based model classes. In cue-recall, an early cue must be retained across distractors and reported at a final query token; in teacher–student, labels are generated by a fixed nLIF teacher, separating representability from finite-sample learnability. Unconstrained feedforward spiking models show sequence-length sensitivity, elevated hidden spike-participation density, and increased samples-to-threshold burden. Post-spike refractoriness, leak-mediated forgetting, learned lateral inhibition, and activity-constrained winner-take-all competition reduce hidden participation and improve empirical robustness in task- and regime-dependent ways. Together, these results identify diffuse causal-set growth as a fundamental architectural bottleneck for baseline feedforward spiking sequence models and suggest that scalable neuromorphic sequence architectures will require circuit mechanisms that explicitly constrain temporal accumulation and effective spike participation.
William Fishell, Gordon Fishell, Suraj Honnuraiah· Neuromorphic Computing and E...· 0 citations
Spiking Neural Networks (SNNs) often rely on rate coding, where high-precision inference depends on long time-steps, leading to significant latency and energy cost—especially for ANN-to-SNN conversions. To address this, we propose Adaptive Fission, a post-training encoding technique that selectively splits high-sensitivity neurons into groups with varying scales and weights. This enables neuron-specific, on-demand precision and threshold allocation while introducing minimal spatial overhead. As a generalized form of population coding, it seamlessly applies to a wide range of pretrained SNN architectures without requiring additional training or fine-tuning. Experiments on neuromorphic hardware demonstrate up to 80% reductions in latency and power consumption without degrading accuracy.
Yizhou Jiang, Feng Chen, Yihan Li et al.· Neural Information Processin...· 2 citations
Spiking neural networks (SNNs) are promoted as an energy-efficient substrate because sparse, event-driven activity replaces dense multiply-accumulates with cheap accumulates. We argue the energy dividend of sparsity is not a property of SNNs but of the task. Holding architecture fixed and swapping only the hidden unit (continuous vs. leaky-integrate-and-fire), plus a two-sided target-firing-rate probe, we measure how far activity can be pushed down before quality breaks. Low-load feed-forward perception sparsifies to 5% firing at no accuracy cost; a recurrent language model cannot go below ~50% -- the recurrent state must stay active to carry information. A spiking Transformer, by contrast, sparsifies freely to 2% (3 seeds) -- so the ceiling is a property of recurrent compression, not sequence modeling. Attention escapes the floor only by storing the full key-value cache, trading a firing floor for a memory wall: on neuromorphic hardware, recurrence and attention pay on different axes, neither escapes. We formalize the ceiling with an information-theoretic bound rho>= H_b^{-1}(log2 M / H) and confirm its predictions: the floor rises with memory load, falls with state width, and (refuting a naive memory-only reading) rises with task difficulty. A layer-wise input floor further caps op reduction under dense input, isolating event-driven perception as where neuromorphic hardware wins.
Spiking neural networks (SNNs) offer an energy-efficient alternative to traditional neural networks by utilizing discrete, temporally precise spike events. However, this study identifies a critical vulnerability in SNNs on recently established bit-based codes: consistent performance degradation when temporal spike encoding orders are reversed, such as using least-significant-bit ordering instead of most-significant-bit. We theoretically formalize this phenomenon as premature state annihilation, wherein early noisy spikes in information-discordant encodings trigger hard resets in leaky integrate-and-fire (LIF) neurons. These resets erase accumulated membrane state and, because the effective temporal influence of an input is largest for early timesteps, leave the backpropagated learning signal concentrated where the information is not. We measure the per-timestep class-mutual-information profile of six encodings directly, without reference to network accuracy, and show that the resulting concordance ordering predicts the observed degradation. While dense codes like weighted phase encoding suffer catastrophic drops (up to 48%), sparse codes like time-to-first-spike remain robust, and exchangeable rate codes are provably invariant to reversal. We evaluate several mitigation strategies, finding that parametric LIF (PLIF) neurons and aggressive membrane leakage significantly recover performance by adapting to or suppressing early noise.
Nhan Trong Luu, Duong Trung Luu, Nam Ngoc Pham et al.· Neuromorphic Computing and E...· 0 citations