|
990-2023 |
The Principle of Naturality: An Explainable Neuro-Symbolic Framework for Detecting Latent Convergence in Multi-Agent Inferential Structures |
12/Oct/2026 |
|
937-1960 |
A Survey on Neuro-Symbolic Auditing: A Framework for Verification, Traceability, and Correction in High-Stakes AI |
12/Oct/2026 |
|
1008-2044 |
The Operator Intelligence Benchmark: Domain Construction, Constraint Contraction, and Certified Solution Emergence in Neurosymbolic AI |
12/Oct/2026 |
|
997-2032 |
A Neurosymbolic Benchmark for Temporal Knowledge-Graph Memory in Partially Observable Environments |
12/Oct/2026 |
|
938-1961 |
Differentiable Logic Synthesis: Spectral Coefficient Selection via Sinkhorn-Constrained Composition |
11/Oct/2026 |
|
964-1993 |
GRAIL: Autonomous Concept Grounding for Neuro-Symbolic Reinforcement Learning |
11/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 |
|
942-1965 |
Neuro-symbolic AI for Predictive Maintenance (PdM) - review and recommendations |
10/Oct/2026 |
|
1011-2047 |
Incorporating Token Usage into Prompting Strategy Evaluation |
09/Oct/2026 |
|
998-2034 |
A Scoping Review of Neurosymbolic Reasoning over Ontologies and Knowledge Graphs: System Categorization, Datasets, Evaluation Practices, and Open Challenges |
09/Oct/2026 |
|
1007-2043 |
Integrating Neurosymbolic Systems in Advanced Product Design: A Comprehensive Review |
08/Oct/2026 |
|
1017-2055 |
A Trust-Centric Neuro-Symbolic Architecture for Verifiable Large Language Model Claims |
08/Oct/2026 |
|
1004-2040 |
ReasonX: Declarative Reasoning on Explanations |
08/Oct/2026 |
|
1015-2052 |
THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture |
08/Oct/2026 |
|
1013-2049 |
Causal-Proof Guided Learning and Certification for Fairness in ML Classifiers |
08/Oct/2026 |
|
999-2035 |
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning |
06/Oct/2026 |
|
1006-2042 |
TaxBridge-Bench: A Neurosymbolic Benchmark for Spreadsheet-to-Ledger Reasoning in Tax Compliance |
05/Oct/2026 |
|
1001-2037 |
The Geometry of Steering Failure: Capability Cliffs and Attractor Freezing in LLM Representation Engineering |
05/Oct/2026 |
|
995-2029 |
Propositional Theory Revision through Neural Concept Invention |
26/Sep/2026 |
