Binary Spiking Neural Networks Explained via Causal Models and Logic Solvers
Researchers have developed a causal framework to explain the behavior of Binary Spiking Neural Networks (BSNNs) using logic-based methods. They demonstrated this approach by training a BSNN on the MNIST dataset and applying SAT and SMT solvers to derive explanations.