Cover Image

Towards Efficient Formal Verification of Spiking Neural Network

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Seong, Baekryun, Kim, Jieung, Ko, Sang-Ki
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Emerging Technologies Neural and Evolutionary Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Compressed Latent Replays for Lightweight Continual Learning on Spiking Neural Networks
by: Dequino, Alberto, et al.
Published: (2024)

Efficient Memristive Spiking Neural Networks Architecture with Supervised In-Situ STDP Method
by: Prajapati, Santlal, et al.
Published: (2025)

Mem-elements based Neuromorphic Hardware for Neural Network Application
by: Singh, Ankur
Published: (2024)

Edge Intelligence with Spiking Neural Networks
by: Deng, Shuiguang, et al.
Published: (2025)

Biologically-Informed Excitatory and Inhibitory Balance for Robust Spiking Neural Network Training
by: Kilgore, Joseph A., et al.
Published: (2024)

Memristor-Based Spiking Neural Network Accelerator for Bio-inspired Interception Task
by: Qu, Qianhou, et al.
Published: (2026)

Analog Alchemy: Neural Computation with In-Memory Inference, Learning and Routing
by: Demirag, Yigit
Published: (2024)

To Spike or Not to Spike, that is the Question
by: Takaghaj, Sanaz Mahmoodi, et al.
Published: (2024)

Personalized Spiking Neural Networks with Ferroelectric Synapses for EEG Signal Processing
by: Garg, Nikhil, et al.
Published: (2025)

Spike Talk in Power Electronic Grids -- Leveraging Post Moore's Computing Laws
by: Song, Yubo, et al.
Published: (2024)

Transductive Spiking Graph Neural Networks for Loihi
by: Snyder, Shay, et al.
Published: (2024)

On when is Reservoir Computing with Cellular Automata Beneficial?
by: Glover, Tom, et al.
Published: (2024)

Topology Optimization of Random Memristors for Input-Aware Dynamic SNN
by: Wang, Bo, et al.
Published: (2024)

Hardware-aware training of models with synaptic delays for digital event-driven neuromorphic processors
by: Patino-Saucedo, Alberto, et al.
Published: (2024)

What is Cognitive Computing? An Architecture and State of The Art
by: Elnagar, Samaa, et al.
Published: (2023)

cuAPO: A CUDA-based Parallelization of Artificial Protozoa Optimizer
by: Soliya, Henish, et al.
Published: (2025)

Efficient Optimisation of Physical Reservoir Computers using only a Delayed Input
by: Picco, Enrico, et al.
Published: (2024)

From Lightweight CNNs to SpikeNets: Benchmarking Accuracy-Energy Tradeoffs with Pruned Spiking SqueezeNet
by: Kabir, Radib Bin, et al.
Published: (2026)

Lagrange Oscillatory Neural Networks for Constraint Satisfaction and Optimization
by: Delacour, Corentin, et al.
Published: (2025)

Stochastic Spiking Neuron Based SNN Can be Inherently Bayesian
by: Zheng, Huannan, et al.
Published: (2026)

CIMNAS: A Joint Framework for Compute-In-Memory-Aware Neural Architecture Search
by: Krestinskaya, Olga, et al.
Published: (2025)

Resistive Memory-based Neural Differential Equation Solver for Score-based Diffusion Model
by: Yang, Jichang, et al.
Published: (2024)

Continuous-Time Digital Twin with Analogue Memristive Neural Ordinary Differential Equation Solver
by: Chen, Hegan, et al.
Published: (2024)

DendroNN: Dendrocentric Neural Networks for Energy-Efficient Classification of Event-Based Data
by: Krausse, Jann, et al.
Published: (2026)

RMAAT: Astrocyte-Inspired Memory Compression and Replay for Efficient Long-Context Transformers
by: Mia, Md Zesun Ahmed, et al.
Published: (2026)

Noise-Aware Training of Neuromorphic Dynamic Device Networks
by: Manneschi, Luca, et al.
Published: (2024)

Analog In-Memory Computing Attention Mechanism for Fast and Energy-Efficient Large Language Models
by: Leroux, Nathan, et al.
Published: (2024)

A Diagonal Structured State Space Model on Loihi 2 for Efficient Streaming Sequence Processing
by: Meyer, Svea Marie, et al.
Published: (2024)

System-level Impact of Non-Ideal Program-Time of Charge Trap Flash (CTF) on Deep Neural Network
by: Shrivastava, S., et al.
Published: (2024)

Learning to Measure Quantum Neural Networks
by: Chen, Samuel Yen-Chi, et al.
Published: (2025)

A Quantum Leaky Integrate-and-Fire Spiking Neuron and Network
by: Brand, Dean, et al.
Published: (2024)

Large Language Model for Multi-objective Evolutionary Optimization
by: Liu, Fei, et al.
Published: (2023)

Visualising the Attractor Landscape of Neural Cellular Automata
by: Stovold, James, et al.
Published: (2026)

Stability and Geometry of Attractors in Neural Cellular Automata
by: Kvalsund, Mia-Katrin, et al.
Published: (2026)

Beyond Silicon: Materials, Mechanisms, and Methods for Physical Neural Computing
by: Fischer, Stefan, et al.
Published: (2026)

Differentiable Quantum Architecture Search in Quantum-Enhanced Neural Network Parameter Generation
by: Chen, Samuel Yen-Chi, et al.
Published: (2025)

NeuSpin: Design of a Reliable Edge Neuromorphic System Based on Spintronics for Green AI
by: Ahmed, Soyed Tuhin, et al.
Published: (2024)

Design and development of opto-neural processors for simulation of neural networks trained in image detection for potential implementation in hybrid robotics
by: Shetty, Sanjana
Published: (2024)

Gradient-based Design of Computational Granular Crystals
by: Parsa, Atoosa, et al.
Published: (2024)

Dynamic neural network with memristive CIM and CAM for 2D and 3D vision
by: Zhang, Yue, et al.
Published: (2024)