|
937-1960 |
A Survey on Neuro-Symbolic Auditing: A Framework for Verification, Traceability, and Correction in High-Stakes AI |
11/Jun/2026 |
|
958-1985 |
A Mathematical Framework and a Suite of Learning Techniques for Neural-Symbolic Systems |
10/Jun/2026 |
|
942-1965 |
Neuro-symbolic AI for Predictive Maintenance (PdM) - review and recommendations |
10/Jun/2026 |
|
946-1970 |
Integrating Neurosymbolic Systems in Advanced Product Design: A Comprehensive Review |
10/Jun/2026 |
|
984-2016 |
Operability as Structural Grounding: Conditions for Epistemic Appropriation in LLMs |
10/Jun/2026 |
|
980-2010 |
A Trust-Centric Neuro-Symbolic Architecture for Verifiable Large Language Model Claims |
09/Jun/2026 |
|
979-2009 |
Mapping the Neuro-Symbolic Landscape: A Formal, Unified Framework for Design and Comparison |
09/Jun/2026 |
|
983-2015 |
A Survey of Neurosymbolic Answer Set Programming |
09/Jun/2026 |
|
931-1953 |
Neurosymbolic Inference, Reasoning and Proving in Propositional Logic: A Survey |
09/Jun/2026 |
|
950-1975 |
A Scoping Review of Neurosymbolic Reasoning over Ontologies and Knowledge Graphs: Datasets, Evaluation Practices, and Open Challenges |
09/Jun/2026 |
|
969-1999 |
Neuro-Symbolic Relation Extraction in Agglutinative Languages: A Morphology-Aware Graph-Based Framework |
09/Jun/2026 |
|
967-1997 |
NeSyCat: A Monad-Based Categorical Semanticsof the Neurosymbolic ULLER Framework |
07/Jun/2026 |
|
964-1993 |
GRAIL: Autonomous Concept Grounding for Neuro-Symbolic Reinforcement Learning |
07/Jun/2026 |
|
981-2012 |
A survey of neurosymbolic artificial intelligence: foundations, advances, and future trajectories |
06/Jun/2026 |
|
938-1961 |
Differentiable Logic Synthesis: Spectral Coefficient Selection via Sinkhorn-Constrained Composition |
05/Jun/2026 |
|
953-1980 |
Neurosymbolic Theory Revision through Predicate Invention |
05/Jun/2026 |
|
966-1995 |
A Neurosymbolic Benchmark for Temporal Knowledge-Graph Memory in Partially Observable Environments |
05/Jun/2026 |
|
982-2014 |
Temporal Neuro-Symbolic Reasoning: from architectures to verifiable and auditable systems |
05/Jun/2026 |
