|
1019-2057 |
Pair-Valued Deontic Semantics and Rule-Regularised Learning from Conflicting Norms |
02/Nov/2026 |
|
1018-2056 |
Expressiveness, execution, and lifted recurrent closure in neurosymbolic intervention logic |
02/Nov/2026 |
|
942-1965 |
Neuro-symbolic AI for Predictive Maintenance (PdM) - review and recommendations |
02/Nov/2026 |
|
1020-2058 |
Operability: On the Conditions for Epistemic Appropriation in LLMs |
01/Nov/2026 |
|
1015-2052 |
THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture |
01/Nov/2026 |
|
1001-2037 |
The Geometry of Steering Failure: Capability Cliffs and Attractor Freezing in LLM Representation Engineering |
01/Nov/2026 |
|
1022-2061 |
Core-LLM-Bench: A Controlled Neurosymbolic Benchmark for Ontology-Grounded Reasoning in Large Language Models |
01/Nov/2026 |
|
937-1960 |
A Survey on Neuro-Symbolic Auditing: A Framework for Verification, Traceability, and Correction in High-Stakes AI |
31/Oct/2026 |
|
998-2034 |
A Scoping Review of Neurosymbolic Reasoning over Ontologies and Knowledge Graphs: System Categorization, Datasets, Evaluation Practices, and Open Challenges |
31/Oct/2026 |
|
1006-2042 |
TaxBridge-Bench: A Neurosymbolic Benchmark for Spreadsheet-to-Ledger Reasoning in Tax Compliance |
31/Oct/2026 |
|
1011-2047 |
Incorporating Token Usage into Prompting Strategy Evaluation |
31/Oct/2026 |
|
997-2032 |
A Neurosymbolic Benchmark for Temporal Knowledge-Graph Memory in Partially Observable Environments |
30/Oct/2026 |
|
1021-2060 |
Enforcing Interpretability using Concept Bottleneck Transformer Layers for Time Series |
30/Oct/2026 |
|
999-2035 |
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning |
30/Oct/2026 |
|
1008-2044 |
The Operator Intelligence Benchmark: Domain Construction, Constraint Contraction, and Certified Solution Emergence in Neurosymbolic AI |
30/Oct/2026 |
|
1017-2055 |
A Trust-Centric Neuro-Symbolic Architecture for Verifiable Large Language Model Claims |
29/Oct/2026 |
|
1013-2049 |
Causal-Proof Guided Learning and Certification for Fairness in ML Classifiers |
29/Oct/2026 |
|
1004-2040 |
ReasonX: Declarative Reasoning on Explanations |
29/Oct/2026 |
|
938-1961 |
Differentiable Logic Synthesis: Spectral Coefficient Selection via Sinkhorn-Constrained Composition |
29/Oct/2026 |
|
964-1993 |
GRAIL: Autonomous Concept Grounding for Neuro-Symbolic Reinforcement Learning |
29/Oct/2026 |
|
1007-2043 |
Integrating Neurosymbolic Systems in Advanced Product Design: A Comprehensive Review |
24/Oct/2026 |
|
1016-2053 |
Premise Consistency and Potential Misalignments in Neurosymbolic Reasoning: A Benchmark Analysis and a LEAN-based First-Order Consistency Safeguard for Elementary Probability |
10/Oct/2026 |
