:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Shahid, Mahnoor, Rothe, Hannes
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Computer Vision and Pattern Recognition Machine Learning Logic in Computer Science
Online Access:	https://arxiv.org/abs/2604.26521
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
by: Shahid, Mahnoor, et al.
Published: (2026)

LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
by: Huang, Jiani, et al.
Published: (2023)

A Multimodal Framework for Deepfake Detection
by: Gandhi, Kashish, et al.
Published: (2024)

Double-Stage Feature-Level Clustering-Based Mixture of Experts Framework
by: Badjie, Bakary, et al.
Published: (2025)

Formal Explanations for Neuro-Symbolic AI
by: Paul, Sushmita, et al.
Published: (2024)

Improving Fuzzy-Logic based Map-Matching Method with Trajectory Stay-Point Detection
by: Jafarlou, Minoo, et al.
Published: (2022)

Concept-based Analysis of Neural Networks via Vision-Language Models
by: Mangal, Ravi, et al.
Published: (2024)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
by: He, Haoyuan, et al.
Published: (2022)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
by: Rothkopf, Raven, et al.
Published: (2024)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
by: Baaj, Ismaïl, et al.
Published: (2025)

Can VLMs Reason Robustly? A Neuro-Symbolic Investigation
by: Chen, Weixin, et al.
Published: (2026)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
by: Afzal, Mohammad, et al.
Published: (2025)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
by: Cornelio, Cristina, et al.
Published: (2024)

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
by: Gruteser, Jan, et al.
Published: (2024)

Neuro-Symbolic Concepts
by: Mao, Jiayuan, et al.
Published: (2025)

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
by: Singh, Vikash, et al.
Published: (2026)

Neuro-Symbolic Scene Graph Conditioning for Synthetic Image Dataset Generation
by: Savazzi, Giacomo, et al.
Published: (2025)

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
by: Elboher, Yizhak, et al.
Published: (2024)

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
by: Bukhari, Syed Ali Asadullah, et al.
Published: (2024)

Network Inversion and Its Applications
by: Suhail, Pirzada, et al.
Published: (2024)

Hierarchical NeuroSymbolic Approach for Comprehensive and Explainable Action Quality Assessment
by: Okamoto, Lauren, et al.
Published: (2024)

Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing
by: Wang, Wenguan, et al.
Published: (2022)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
by: Sharifi, Iman, et al.
Published: (2023)

From Consistency to Complementarity: Aligned and Disentangled Multi-modal Learning for Time Series Understanding and Reasoning
by: Ni, Hang, et al.
Published: (2026)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
by: Sharifi, Iman, et al.
Published: (2026)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
by: Baugh, Kexin Gu, et al.
Published: (2025)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
by: Brorholt, Asger Horn, et al.
Published: (2024)

Neuro-Symbolic Compliance: Integrating LLMs and SMT Solvers for Automated Financial Legal Analysis
by: Hsia, Yung-Shen, et al.
Published: (2026)

Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy
by: Wang, Chen, et al.
Published: (2024)

VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning
by: Liang, Yichao, et al.
Published: (2024)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
by: Luo, Ziyan, et al.
Published: (2023)

Bridging Vision Language Models and Symbolic Grounding for Video Question Answering
by: Ma, Haodi, et al.
Published: (2025)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
by: Alhessi, Yousef, et al.
Published: (2025)

RLSF: Fine-tuning LLMs via Symbolic Feedback
by: Jha, Piyush, et al.
Published: (2024)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
by: Ciatto, Giovanni, et al.
Published: (2025)

DCNFIS: Deep Convolutional Neuro-Fuzzy Inference System
by: Yeganejou, Mojtaba, et al.
Published: (2023)

Dr-LLaVA: Visual Instruction Tuning with Symbolic Clinical Grounding
by: Sun, Shenghuan, et al.
Published: (2024)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
by: Miya, Shinobu
Published: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
by: Farjami, Ali, et al.
Published: (2026)

Learning Concept-Based Causal Transition and Symbolic Reasoning for Visual Planning
by: Qian, Yilue, et al.
Published: (2023)