Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Takemura, Akihiro, Inoue, Katsumi, Nishino, Masaaki |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
par: Takemura, Akihiro, et autres
Publié: (2024)
par: Takemura, Akihiro, et autres
Publié: (2024)
Differentiable Logic Programming for Distant Supervision
par: Takemura, Akihiro, et autres
Publié: (2024)
par: Takemura, Akihiro, et autres
Publié: (2024)
Formally Explaining Decision Tree Models with Answer Set Programming
par: Takemura, Akihiro, et autres
Publié: (2026)
par: Takemura, Akihiro, et autres
Publié: (2026)
Towards end-to-end ASP computation
par: Sato, Taisuke, et autres
Publié: (2023)
par: Sato, Taisuke, et autres
Publié: (2023)
MOD-CL: Multi-label Object Detection with Constrained Loss
par: Moriyama, Sota, et autres
Publié: (2024)
par: Moriyama, Sota, et autres
Publié: (2024)
Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)
par: Bienvenu, Meghyn, et autres
Publié: (2024)
Variable Assignment Invariant Neural Networks for Learning Logic Programs
par: Phua, Yin Jun, et autres
Publié: (2024)
par: Phua, Yin Jun, et autres
Publié: (2024)
Learning with Logical Constraints but without Shortcut Satisfaction
par: Li, Zenan, et autres
Publié: (2024)
par: Li, Zenan, et autres
Publié: (2024)
Reasoning in Neurosymbolic AI
par: Tran, Son, et autres
Publié: (2025)
par: Tran, Son, et autres
Publié: (2025)
Neural Decision-Propagation for Answer Set Programming
par: Eiter, Thomas, et autres
Publié: (2026)
par: Eiter, Thomas, et autres
Publié: (2026)
Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
par: Oh, Hyunseok, et autres
Publié: (2026)
par: Oh, Hyunseok, et autres
Publié: (2026)
Towards Unified Neurosymbolic Reasoning on Knowledge Graphs
par: Lin, Qika, et autres
Publié: (2025)
par: Lin, Qika, et autres
Publié: (2025)
Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
par: Nakamura, Kengo, et autres
Publié: (2026)
par: Nakamura, Kengo, et autres
Publié: (2026)
Large Language Models Are Neurosymbolic Reasoners
par: Fang, Meng, et autres
Publié: (2024)
par: Fang, Meng, et autres
Publié: (2024)
Visual Perceptual to Conceptual First-Order Rule Learning Networks
par: Gao, Kun, et autres
Publié: (2026)
par: Gao, Kun, et autres
Publié: (2026)
Neurosymbolic Deep Learning Semantics
par: Garcez, Artur d'Avila, et autres
Publié: (2025)
par: Garcez, Artur d'Avila, et autres
Publié: (2025)
A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
par: Bienvenu, Meghyn, et autres
Publié: (2025)
par: Bienvenu, Meghyn, et autres
Publié: (2025)
Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning
par: Kim, Jooyoung, et autres
Publié: (2026)
par: Kim, Jooyoung, et autres
Publié: (2026)
NeSyPr: Neurosymbolic Proceduralization For Efficient Embodied Reasoning
par: Choi, Wonje, et autres
Publié: (2025)
par: Choi, Wonje, et autres
Publié: (2025)
Neurosymbolic Learning for Inference-Time Argumentation
par: Freedman, Gabriel, et autres
Publié: (2026)
par: Freedman, Gabriel, et autres
Publié: (2026)
Predicate Renaming via Large Language Models
par: Gentili, Elisabetta, et autres
Publié: (2025)
par: Gentili, Elisabetta, et autres
Publié: (2025)
Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
par: Bednarek, Jakub, et autres
Publié: (2024)
par: Bednarek, Jakub, et autres
Publié: (2024)
Optimisation in Neurosymbolic Learning Systems
par: van Krieken, Emile
Publié: (2024)
par: van Krieken, Emile
Publié: (2024)
On the Independence Assumption in Neurosymbolic Learning
par: van Krieken, Emile, et autres
Publié: (2024)
par: van Krieken, Emile, et autres
Publié: (2024)
LANTERN: LLM-Augmented Neurosymbolic Transfer with Experience-Gated Reasoning Networks
par: Alinejad, Mahyar, et autres
Publié: (2026)
par: Alinejad, Mahyar, et autres
Publié: (2026)
Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning
par: Beiser, Alexander, et autres
Publié: (2025)
par: Beiser, Alexander, et autres
Publié: (2025)
Sample-Efficient Neurosymbolic Deep Reinforcement Learning
par: Veronese, Celeste, et autres
Publié: (2026)
par: Veronese, Celeste, et autres
Publié: (2026)
On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms
par: Richards, Luke E., et autres
Publié: (2025)
par: Richards, Luke E., et autres
Publié: (2025)
SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
par: Feeney, Sean, et autres
Publié: (2026)
par: Feeney, Sean, et autres
Publié: (2026)
Improving Rule-based Reasoning in LLMs using Neurosymbolic Representations
par: Dhanraj, Varun, et autres
Publié: (2025)
par: Dhanraj, Varun, et autres
Publié: (2025)
Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations
par: Olivier, François, et autres
Publié: (2025)
par: Olivier, François, et autres
Publié: (2025)
Interpretable end-to-end Neurosymbolic Reinforcement Learning agents
par: Grandien, Nils, et autres
Publié: (2024)
par: Grandien, Nils, et autres
Publié: (2024)
Constraint-Aware Neurosymbolic Uncertainty Quantification with Bayesian Deep Learning for Scientific Discovery
par: Alam, Shahnawaz, et autres
Publié: (2026)
par: Alam, Shahnawaz, et autres
Publié: (2026)
Enhancing SQL Query Generation with Neurosymbolic Reasoning
par: Princis, Henrijs, et autres
Publié: (2024)
par: Princis, Henrijs, et autres
Publié: (2024)
Can Transformers Learn to Verify During Backtracking Search?
par: Phua, Yin Jun, et autres
Publié: (2026)
par: Phua, Yin Jun, et autres
Publié: (2026)
The DeepLog Neurosymbolic Machine
par: Derkinderen, Vincent, et autres
Publié: (2025)
par: Derkinderen, Vincent, et autres
Publié: (2025)
Independence Is Not an Issue in Neurosymbolic AI
par: Faronius, Håkan Karlsson, et autres
Publié: (2025)
par: Faronius, Håkan Karlsson, et autres
Publié: (2025)
Neurosymbolic Methods for Rule Mining
par: Lawrynowicz, Agnieszka, et autres
Publié: (2024)
par: Lawrynowicz, Agnieszka, et autres
Publié: (2024)
Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning
par: Beiser, Alexander, et autres
Publié: (2025)
par: Beiser, Alexander, et autres
Publié: (2025)
Neurosymbolic Framework for Concept-Driven Logical Reasoning in Skeleton-Based Human Action Recognition
par: Ilyas, Talha, et autres
Publié: (2026)
par: Ilyas, Talha, et autres
Publié: (2026)
Documents similaires
-
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
par: Takemura, Akihiro, et autres
Publié: (2024) -
Differentiable Logic Programming for Distant Supervision
par: Takemura, Akihiro, et autres
Publié: (2024) -
Formally Explaining Decision Tree Models with Answer Set Programming
par: Takemura, Akihiro, et autres
Publié: (2026) -
Towards end-to-end ASP computation
par: Sato, Taisuke, et autres
Publié: (2023) -
MOD-CL: Multi-label Object Detection with Constrained Loss
par: Moriyama, Sota, et autres
Publié: (2024)