Skip to content
Open access

Memory-Efficient Probabilistic Neuro-Symbolic Integration for Explainable Natural Language Inference Using Transformer-Based Foundation Models

Jun 2026 · Al-Mustansiriyah Journal of Science · Vol 37, pp. 29-42 · 0 citations

TL;DR

A memory-optimized probabilistic neuro-symbolic hybrid architecture that unifies transformer-based neural networks with logic-based symbolic reasoning systems within memory-constrained systems indicates that neuro-symbolic systems within memory-constrained systems can achieve both explanation needs and foundation models’ performance requirements.

Abstract

Background: Transformer-based foundation models have achieved state-of-the-art results in various natural language inference benchmarks, but their decision-making processes remain largely unexplainable. Addressing the ’explainability gap’ is crucial for responsible AI adoption in highrisk industries that require transparency and trustworthiness. Furthermore, the combination of neural pattern matching with structured symbolic reasoning in resource-constrained scenarios is an important open problem. Objective: This study aims to present a memory-optimized probabilistic neuro-symbolic hybrid architecture that unifies transformer-based neural networks with logic-based symbolic reasoning systems. Methods: We use the e-SNLI dataset that provides human-written natural language explanations and reasoning highlights as training targets, and finetune the BERT transformer-based language model with an emphasis on gradient checkpointing, mixed-precision (FP16) training, and layer freezing for optimal resource utilization/reasoning tradeoffs. All experiments were performed on an NVIDIA GPU with 8–12 GB VRAM and CUDA-compatible hardware. Results: The proposed framework achieves 80.6% accuracy on 3-way NLI classification (contradiction, entailment, and neutral) with 0.806 precision, recall, and F1 scores on each class, and detailed class-level analysis shows high performance on entailment recognition (F1 = 0.912) and contradiction detection (F1 = 0.902), but slightly lower performance on neutral cases (F1 = 0.864). Ablation studies and confidence distributions of the model predictions indicate that memory-optimized models can maintain competitive performance and be deployed on resource-constrained devices, reducing GPU memory usage by ~60%. Conclusions: The results indicate that neuro-symbolic systems within memory-constrained systems can achieve both explanation needs and foundation models’ performance requirements, representing an important step in creating more trustworthy AI for NLP.

Read PDF

Similar papers

Review Open access Jul 2026

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts

This overview addresses this issue by providing a gentle introduction to RSs, discussing their causes and consequences in intuitive terms, and details methods for dealing with RSs, including mitigation and awareness strategies, and maps their benefits and limitations.

E. Marconato, Samuele Bortolotti, Emile van Krieken et al. · 1 citation
Book Open access Aug 2026

Mitigating Neuro-Symbolic Reasoning Shortcuts with Data-Driven Knowledge Augmentation

Recent advancements in neuro-symbolic learning (NeSy) have shown significant promise in integrating deep learning with symbolic reasoning, offering both interpretability and generalization. However, the prevalence of reasoning shortcuts, where the NeSy system predicts incorrect intermediate concepts while maintaining h...

Yu-Feng Li, Xiaowen Yang, Wenda Wei et al. · 0 citations
Preprint Aug 2026

SymbolLKG: Towards Verifiable Logical Reasoning via Logical Knowledge Graph and Symbolic Solvers

A Neuro-Symbolic architecture that integrates a Logical Knowledge Graph (LKG) with dynamic solver routing, and introduces an ontology-based LKG that treats logical rules and constraints as first-class topological nodes, enabling explicit modeling of dependencies extracted from text.

Hai-Zhao Fan, Yu-Chi Xiong, Jize Wang et al. · 0 citations
Review Jul 2026

Mechanistic Interpretability for Neural Networks: Circuits, Sparse Features and Symbolic Reasoning

This article offers a comprehensive overview of mechanistic interpretability, an emerging field that seeks to reverse-engineer the internal algorithms of modern neural networks, and explores methods for actively controlling and modifying model behavior through steering vectors and causal interventions.

Pranav Sawant, Jakub Krejvc'i · 0 citations
Conference Jul 2026

AdaptiReason: Adaptive Chain-of-Thought Compression for Efficient Large Language Model Inference

Large Language Models (LLMs) trained using Chain-of-Thought (CoT) supervision have achieved state-of-the-art performance on complex reasoning tasks. However, the generation of long reasoning chains introduces substantial computational overhead during inference, limiting their deployment in low-latency and resource-cons...

V. A, Mithaguru, Amrita Kundu et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.