Research2h ago
Causal Analysis Explains Binary Spiking Neural Networks
A new study represents Binary Spiking Neural Networks as binary causal models to explain network behavior. Researchers used SAT and SMT solvers to derive abductive explanations for MNIST classifications. This logic-based approach provides a more formal alternative to SHAP. It offers practitioners a precise method for auditing spiking network decisions.