Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective

arXiv:2609.00464 · cs.CR, cs.AI · Submitted 2026-08-31 · Read on arXiv

cs.CR, cs.AI

Submitted: 2026-08-31

Updated: 2026-08-31

Code: https://github.com/marcoantoniocorallo/NeSy-Backdoor

Terminology

• Robustness — 41× in this paper · explained in 5 episodes
• Accuracy — 13× in this paper · explained in 1 episode
• Benchmark — 9× in this paper · explained in 2 episodes
• Ablation — 5× in this paper · explained in 1 episode
• Ablation study — 4× in this paper · explained in 1 episode
• Adversarial Robustness — 4× in this paper · explained in 3 episodes
• Consistency — 4× in this paper · explained in 3 episodes
• Attack Success Rate — 3× in this paper
• Adam — 2× in this paper · explained in 2 episodes
• Adversarial Attacks — 2× in this paper · explained in 1 episode
• Continual Learning — 2× in this paper · explained in 2 episodes
• Generative Model — 2× in this paper · explained in 2 episodes
• Generative Models — 2× in this paper · explained in 2 episodes
• Regularization — 2× in this paper · explained in 3 episodes
• Ablation Studies — 1× in this paper · explained in 1 episode
• Adversarial Training — 1× in this paper · explained in 1 episode
• Attack Success Rate (ASR) — 1× in this paper · explained in 2 episodes
• Benchmarking — 1× in this paper · explained in 4 episodes
• Distribution Shift — 1× in this paper · explained in 6 episodes
• Explainability — 1× in this paper · explained in 3 episodes
• Failure Modes — 1× in this paper · explained in 3 episodes
• Grounding — 1× in this paper · explained in 3 episodes
• Interpretability — 1× in this paper · explained in 15 episodes
• Knowledge Graph — 1× in this paper · explained in 7 episodes
• Knowledge graphs — 1× in this paper · explained in 2 episodes
• Latent Representation — 1× in this paper · explained in 2 episodes
• Latent Representations — 1× in this paper · explained in 3 episodes
• Latent Space — 1× in this paper · explained in 7 episodes
• Loss Function — 1× in this paper · explained in 2 episodes
• Multi-Agent System — 1× in this paper · explained in 6 episodes
• Neuro-symbolic approach — 1× in this paper · explained in 5 episodes
• Steering — 1× in this paper · explained in 2 episodes
• Verification — 1× in this paper · explained in 2 episodes

Sources

• Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models
• Targeted Backdoor Attacks on Deep Learning Systems Using Data Poisoning
• Safety, Security, and Cognitive Risks in Neuro-Symbolic AI
• NeuroShield: A Neuro-Symbolic Framework for Adversarial Robustness
• Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs