BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts
Not on the map. Why?
Abstract (arXiv)
Neuro-Symbolic (NeSy) predictors that conform to symbolic knowledge - encoding, e.g., safety constraints - can be affected by Reasoning Shortcuts (RSs): They learn concepts consistent with the symbolic knowledge by exploiting unintended semantics. RSs compromise reliability and generalization and, as we show in this paper, they are linked to NeSy models being overconfident about the predicted concepts. Unfortunately, the only trustworthy mitigation strategy requires collecting costly dense supervision over the concepts. Rather than attempting to avoid RSs altogether, we propose to ensure NeSy models are aware of the semantic ambiguity of the concepts they learn, thus enabling their users to identify and distrust low-quality concepts. Starting from three simple desiderata, we derive bears (BE Aware of Reasoning Shortcuts), an ensembling technique that calibrates the model's concept-level confidence without compromising prediction accuracy, thus encouraging NeSy architectures to be uncertain about concepts affected by RSs. We show empirically that bears improves RS-awareness of several state-of-the-art NeSy models, and also facilitates acquiring informative dense annotations for mitigation purposes.
Key facts. Cited by 36 papers in the map (data through 7 Oct 2026). Builds on 59 of its 90 references that are in the map. First posted on arXiv 19 Feb 2024.
Builds on
59 of 90 references.
References · 59
- 2015Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networkscited by 9,617
- 2015Dropout as a Bayesian Approximation: Representing Model Uncertainty in Deep Learningcited by 4,416
- 2016Simple and Scalable Predictive Uncertainty Estimation using Deep Ensemblescited by 3,888
- 2017What Uncertainties Do We Need in Bayesian Deep Learning for Computer Vision?cited by 2,335
- 2020Concept Bottleneck Modelscited by 1,022
- 2019When Does Label Smoothing Help?cited by 985
- 2020A Review of Uncertainty Quantification in Deep Learning: Techniques, Applications and Challengescited by 813
- 2019Variational Autoencoders and Nonlinear ICA: A Unifying Frameworkcited by 494
- 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 389
- 2021Laplace Redux -- Effortless Bayesian Deep Learningcited by 359
- 2020Calibrating Deep Neural Networks using Focal Losscited by 353
- 2020Hands-on Bayesian Neural Networks -- a Tutorial for Deep Learning Userscited by 336
38 more
- 2017A Semantic Loss Function for Deep Learning with Symbolic Knowledgecited by 267
- 2022Mitigating Neural Network Overconfidence with Logit Normalizationcited by 251
- 2020Logic Tensor Networkscited by 197
- 2017Neural-Symbolic Learning and Reasoning: A Survey and Interpretationcited by 195
- 2019Practical Deep Learning with Bayesian Principlescited by 158
- 2019Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoningcited by 149
- 2021Repulsive Deep Ensembles are Bayesiancited by 103
- 2022Semantic Probabilistic Layers for Neuro-Symbolic Learningcited by 103
- 2023Probabilistic Concept Bottleneck Modelscited by 101
- 2020Analyzing Differentiable Fuzzy Logic Operatorscited by 100
- 2023Concept-based Explainable Artificial Intelligence: A Surveycited by 97
- 2021Independent mechanism analysis, a new concept?cited by 96
- 2017Logic Tensor Networks for Semantic Image Interpretationcited by 92
- 2023Learning Linear Causal Representations from Interventions under General Nonlinear Mixingcited by 92
- 2023NeurASP: Embracing Neural Networks into Answer Set Programmingcited by 92
- 2020Explainable Object-induced Action Decision for Autonomous Vehiclescited by 88
- 2020On Mixup Regularizationcited by 82
- 2022Concept Bottleneck Model with Additional Unsupervised Conceptscited by 79
- 2022GlanceNets: Interpretabile, Leak-proof Concept-based Modelscited by 73
- 2020Coherent Hierarchical Multi-Label Classification Networkscited by 65
- 2023Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcutscited by 63
- 2022Concept Embedding Models: Beyond the Accuracy-Explainability Trade-Offcited by 61
- 2020Closed Loop Neural-Symbolic Learning via Integrating Neural Perception, Grammar Parsing, and Symbolic Reasoningcited by 58
- 2021Incorporating Domain Knowledge into Deep Neural Networkscited by 56
- 2023Causal Component Analysiscited by 56
- 2022Leveraging Explanations in Interactive Machine Learning: An Overviewcited by 52
- 2022A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inferencecited by 50
- 2021MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networkscited by 44
- 2022Deep Learning with Logical Constraintscited by 44
- 2023Human Uncertainty in Concept-Based AI Systemscited by 39
- 2024Nonparametric Partial Disentanglement via Mechanism Sparsity: Sparse Actions, Interventions and Sparse Temporal Dependenciescited by 39
- 2020Abductive Knowledge Induction From Raw Datacited by 38
- 2023BISCUIT: Causal Representation Learning from Binary Interactionscited by 38
- 2021Symbols as a Lingua Franca for Bridging Human-AI Chasm for Explainable and Advisable AI Systemscited by 36
- 2022NeuPSL: Neural Probabilistic Soft Logiccited by 34
- 2023Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsalcited by 33
- 2022VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programmingcited by 31
- 2023A Rigorous Link between Deep Ensembles and (Variational) Bayesian Methodscited by 31
50 most cited of 59 All 59 (JSON)
Built on by
Citing papers per year: 2024: 10; 2025: 16; 2026: 10.
36 papers.
Sort:
By area:
- 2025Neuro-Symbolic AI in 2024: A Systematic Reviewcited by 36
- 2024Logically Consistent Language Models via Neuro-Symbolic Integrationcited by 30
- 2024What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?cited by 22
- 2024Sum of Squares Circuitscited by 21
- 2024A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcutscited by 19
- 2024On the Independence Assumption in Neurosymbolic Learningcited by 18
- 2024Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoningcited by 17
- 2025Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lenscited by 13
- 2025Neurosymbolic Diffusion Modelscited by 12
- 2025A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfactioncited by 11
- 2024Neuro-Symbolic AI: Explainability, Challenges, and Future Trendscited by 10
- 2026AutoMonitor-Bench: Evaluating the Reliability of LLM-Based Misbehavior Monitorcited by 8
24 more
- 2025Neural Probabilistic Circuits: Enabling Compositional and Interpretable Predictions through Logical Reasoningcited by 6
- 2025How to Square Tensor Networks and Circuits Without Squaring Themcited by 5
- 2024How Do Artificial Intelligences Think? The Three Mathematico-Cognitive Factors of Categorical Segmentation Operated by Synthetic Neuronscited by 3
- 2025A Learnability Analysis on Neuro-Symbolic Learningcited by 3
- 2025The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Modelscited by 3
- 2025Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AIcited by 3
- 2024Imbalances in Neurosymbolic Learning: Characterization and Mitigating Strategiescited by 2
- 2024MARS: A neurosymbolic approach for interpretable drug discoverycited by 2
- 2025Synthetic Categorical Restructuring large Or How AIs Gradually Extract Efficient Regularities from Their Experience of the Worldcited by 2
- 2025A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verificationcited by 1
- 2025Gradient-Based Optimization on G"odel Logic as Discrete Local Searchcited by 1
- 2025Curriculum Abductive Learningcited by 1
- 2025Intra-neuronal attention within language models Relationships between activation and semanticscited by 0
- 2025Neuro-symbolic Weak Supervision: Theory and Semanticscited by 0
- 2025Polysemy of Synthetic Neurons Towards a New Type of Explanatory Categorical Vector Spacescited by 0
- 2026On Improving Neurosymbolic Learning by Exploiting the Representation Spacecited by 0
- 2026Can VLMs Reason Robustly? A Neuro-Symbolic Investigationcited by 0
- 2026Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learningcited by 0
- 2026Concepts Worth Having: Refining VLM-Guided Concept Bottleneck Models with Minimal Annotationscited by 0
- 2026Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Modelscited by 0
- 2026A homotopy-type-theoretic generalization of neurosymbolic inferencecited by 0
- 2026Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systemscited by 0
- 2026Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuitscited by 0
- 2026Soft Symbol Grounding for Prototypical Conceptscited by 0
- 2026Soft Symbol Grounding for Prototypical Concepts10 Sep 2026
- 2026Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuits18 Aug 2026
- 2026Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems23 Jul 2026
- 2026A homotopy-type-theoretic generalization of neurosymbolic inference16 Jun 2026
- 2026Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models18 May 2026
- 2026Concepts Worth Having: Refining VLM-Guided Concept Bottleneck Models with Minimal Annotations13 May 2026
- 2026Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning25 Apr 2026
- 2026Can VLMs Reason Robustly? A Neuro-Symbolic Investigation25 Mar 2026
- 2026On Improving Neurosymbolic Learning by Exploiting the Representation Space8 Feb 2026
- 2026AutoMonitor-Bench: Evaluating the Reliability of LLM-Based Misbehavior Monitor9 Jan 2026
- 2025How to Square Tensor Networks and Circuits Without Squaring Them18 Dec 2025
- 2025Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AI29 Oct 2025
24 more
- 2025The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models30 May 2025
- 2025Neurosymbolic Diffusion Models19 May 2025
- 2025Curriculum Abductive Learning18 May 2025
- 2025Polysemy of Synthetic Neurons Towards a New Type of Explanatory Categorical Vector Spaces30 Apr 2025
- 2025A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction25 Mar 2025
- 2025Neuro-symbolic Weak Supervision: Theory and Semantics24 Mar 2025
- 2025A Learnability Analysis on Neuro-Symbolic Learning21 Mar 2025
- 2025Intra-neuronal attention within language models Relationships between activation and semantics17 Mar 2025
- 2025Gradient-Based Optimization on G"odel Logic as Discrete Local Search3 Mar 2025
- 2025Synthetic Categorical Restructuring large Or How AIs Gradually Extract Efficient Regularities from Their Experience of the World25 Feb 2025
- 2025Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens16 Feb 2025
- 2025A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification5 Feb 2025
- 2025Neural Probabilistic Circuits: Enabling Compositional and Interpretable Predictions through Logical Reasoning13 Jan 2025
- 2025Neuro-Symbolic AI in 2024: A Systematic Review9 Jan 2025
- 2024How Do Artificial Intelligences Think? The Three Mathematico-Cognitive Factors of Categorical Segmentation Operated by Synthetic Neurons26 Dec 2024
- 2024Neuro-Symbolic AI: Explainability, Challenges, and Future Trends7 Nov 2024
- 2024MARS: A neurosymbolic approach for interpretable drug discovery2 Oct 2024
- 2024Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning25 Sep 2024
- 2024What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?12 Sep 2024
- 2024Logically Consistent Language Models via Neuro-Symbolic Integration9 Sep 2024
- 2024Sum of Squares Circuits21 Aug 2024
- 2024Imbalances in Neurosymbolic Learning: Characterization and Mitigating Strategies13 Jul 2024
- 2024A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts14 Jun 2024
- 2024On the Independence Assumption in Neurosymbolic Learning12 Apr 2024
- 2024Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoningcited by 17
- 2025Neurosymbolic Diffusion Modelscited by 12
- 2025Neural Probabilistic Circuits: Enabling Compositional and Interpretable Predictions through Logical Reasoningcited by 6
- 2024How Do Artificial Intelligences Think? The Three Mathematico-Cognitive Factors of Categorical Segmentation Operated by Synthetic Neuronscited by 3
- 2025Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AIcited by 3
- 2025A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verificationcited by 1
- 2025Curriculum Abductive Learningcited by 1
- 2026Can VLMs Reason Robustly? A Neuro-Symbolic Investigationcited by 0
- 2026Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Modelscited by 0
- 2026Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systemscited by 0
- 2026Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems23 Jul 2026
- 2026Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models18 May 2026
- 2026Can VLMs Reason Robustly? A Neuro-Symbolic Investigation25 Mar 2026
- 2025Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AI29 Oct 2025
- 2025Neurosymbolic Diffusion Models19 May 2025
- 2025Curriculum Abductive Learning18 May 2025
- 2025A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification5 Feb 2025
- 2025Neural Probabilistic Circuits: Enabling Compositional and Interpretable Predictions through Logical Reasoning13 Jan 2025
- 2024How Do Artificial Intelligences Think? The Three Mathematico-Cognitive Factors of Categorical Segmentation Operated by Synthetic Neurons26 Dec 2024
- 2024Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning25 Sep 2024
- 2025Neuro-Symbolic AI in 2024: A Systematic Reviewcited by 36
- 2024Logically Consistent Language Models via Neuro-Symbolic Integrationcited by 30
- 2024What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?cited by 22
- 2024Sum of Squares Circuitscited by 21
- 2024A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcutscited by 19
- 2024On the Independence Assumption in Neurosymbolic Learningcited by 18
- 2025Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lenscited by 13
- 2025A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfactioncited by 11
- 2024Neuro-Symbolic AI: Explainability, Challenges, and Future Trendscited by 10
- 2026AutoMonitor-Bench: Evaluating the Reliability of LLM-Based Misbehavior Monitorcited by 8
- 2025How to Square Tensor Networks and Circuits Without Squaring Themcited by 5
- 2025A Learnability Analysis on Neuro-Symbolic Learningcited by 3
12 most cited of 26 All 26 (JSON)
- 2026Soft Symbol Grounding for Prototypical Concepts10 Sep 2026
- 2026Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuits18 Aug 2026
- 2026A homotopy-type-theoretic generalization of neurosymbolic inference16 Jun 2026
- 2026Concepts Worth Having: Refining VLM-Guided Concept Bottleneck Models with Minimal Annotations13 May 2026
- 2026Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning25 Apr 2026
- 2026On Improving Neurosymbolic Learning by Exploiting the Representation Space8 Feb 2026
- 2026AutoMonitor-Bench: Evaluating the Reliability of LLM-Based Misbehavior Monitor9 Jan 2026
- 2025How to Square Tensor Networks and Circuits Without Squaring Them18 Dec 2025
- 2025The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models30 May 2025
- 2025Polysemy of Synthetic Neurons Towards a New Type of Explanatory Categorical Vector Spaces30 Apr 2025
- 2025A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction25 Mar 2025
- 2025Neuro-symbolic Weak Supervision: Theory and Semantics24 Mar 2025
12 newest of 26 All 26 (JSON)