Cover Image

Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Takemura, Akihiro, Inoue, Katsumi, Nishino, Masaaki
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2024)

Differentiable Logic Programming for Distant Supervision
by: Takemura, Akihiro, et al.
Published: (2024)

Formally Explaining Decision Tree Models with Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2026)

Towards end-to-end ASP computation
by: Sato, Taisuke, et al.
Published: (2023)

MOD-CL: Multi-label Object Detection with Constrained Loss
by: Moriyama, Sota, et al.
Published: (2024)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

Variable Assignment Invariant Neural Networks for Learning Logic Programs
by: Phua, Yin Jun, et al.
Published: (2024)

Learning with Logical Constraints but without Shortcut Satisfaction
by: Li, Zenan, et al.
Published: (2024)

Reasoning in Neurosymbolic AI
by: Tran, Son, et al.
Published: (2025)

Neural Decision-Propagation for Answer Set Programming
by: Eiter, Thomas, et al.
Published: (2026)

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
by: Oh, Hyunseok, et al.
Published: (2026)

Towards Unified Neurosymbolic Reasoning on Knowledge Graphs
by: Lin, Qika, et al.
Published: (2025)

Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
by: Nakamura, Kengo, et al.
Published: (2026)

Large Language Models Are Neurosymbolic Reasoners
by: Fang, Meng, et al.
Published: (2024)

Visual Perceptual to Conceptual First-Order Rule Learning Networks
by: Gao, Kun, et al.
Published: (2026)

Neurosymbolic Deep Learning Semantics
by: Garcez, Artur d'Avila, et al.
Published: (2025)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2025)

Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning
by: Kim, Jooyoung, et al.
Published: (2026)

NeSyPr: Neurosymbolic Proceduralization For Efficient Embodied Reasoning
by: Choi, Wonje, et al.
Published: (2025)

Neurosymbolic Learning for Inference-Time Argumentation
by: Freedman, Gabriel, et al.
Published: (2026)

Predicate Renaming via Large Language Models
by: Gentili, Elisabetta, et al.
Published: (2025)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
by: Bednarek, Jakub, et al.
Published: (2024)

Optimisation in Neurosymbolic Learning Systems
by: van Krieken, Emile
Published: (2024)

On the Independence Assumption in Neurosymbolic Learning
by: van Krieken, Emile, et al.
Published: (2024)

LANTERN: LLM-Augmented Neurosymbolic Transfer with Experience-Gated Reasoning Networks
by: Alinejad, Mahyar, et al.
Published: (2026)

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning
by: Beiser, Alexander, et al.
Published: (2025)

Sample-Efficient Neurosymbolic Deep Reinforcement Learning
by: Veronese, Celeste, et al.
Published: (2026)

On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms
by: Richards, Luke E., et al.
Published: (2025)

SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
by: Feeney, Sean, et al.
Published: (2026)

Improving Rule-based Reasoning in LLMs using Neurosymbolic Representations
by: Dhanraj, Varun, et al.
Published: (2025)

Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations
by: Olivier, François, et al.
Published: (2025)

Interpretable end-to-end Neurosymbolic Reinforcement Learning agents
by: Grandien, Nils, et al.
Published: (2024)

Constraint-Aware Neurosymbolic Uncertainty Quantification with Bayesian Deep Learning for Scientific Discovery
by: Alam, Shahnawaz, et al.
Published: (2026)

Enhancing SQL Query Generation with Neurosymbolic Reasoning
by: Princis, Henrijs, et al.
Published: (2024)

Can Transformers Learn to Verify During Backtracking Search?
by: Phua, Yin Jun, et al.
Published: (2026)

The DeepLog Neurosymbolic Machine
by: Derkinderen, Vincent, et al.
Published: (2025)

Independence Is Not an Issue in Neurosymbolic AI
by: Faronius, Håkan Karlsson, et al.
Published: (2025)

Neurosymbolic Methods for Rule Mining
by: Lawrynowicz, Agnieszka, et al.
Published: (2024)

Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning
by: Beiser, Alexander, et al.
Published: (2025)

Neurosymbolic Framework for Concept-Driven Logical Reasoning in Skeleton-Based Human Action Recognition
by: Ilyas, Talha, et al.
Published: (2026)