|
864-1871 |
A Mathematical Framework and a Suite of Learning Techniques for Neural-Symbolic Systems |
09/Feb/2026 |
|
897-1908 |
Empirical Analysis of Chain-of-Thought and Solver-Augmented Large Language Models for Deductive Reasoning |
09/Feb/2026 |
|
924-1945 |
Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis |
08/Feb/2026 |
|
905-1919 |
Trustworthy Knowledge Base Embeddings: A Foundational Study of Box Semantics |
08/Feb/2026 |
|
886-1896 |
mULLER: A Modular Monad-Based Semantics of the Neurosymbolic ULLER Framework |
08/Feb/2026 |
|
912-1929 |
NSORN: Designing a Benchmark Dataset for Neurosymbolic Ontology Reasoning with Noise |
08/Feb/2026 |
|
925-1947 |
Graph Neural Network based Hierarchy-Aware Embeddings of Knowledge Graphs: Applications to Yeast Phenotype Prediction |
05/Feb/2026 |
|
909-1925 |
Knowledge Graphs and Explainable AI for Drug Repurposing on Rare Diseases |
04/Feb/2026 |
|
911-1927 |
Neuro-Symbolic Architectures: Formalizing, Extending, Evaluating, and Empowering Generative AI |
03/Feb/2026 |
|
894-1905 |
Neurosymbolic Architectures for Algorithmic Fairness |
03/Feb/2026 |
|
923-1943 |
Metrizable symbolic data structure for ill-defined problem solving |
03/Feb/2026 |
|
916-1934 |
Tensor Logic: The Language of AI |
01/Feb/2026 |
|
914-1931 |
Gestalt Vision: A Dataset for Evaluating Gestalt Principles in Visual Perception |
30/Jan/2026 |
|
920-1940 |
Metatuning: An Empirical Study of Judge-Guided Prompt Refinement and Its Boundary Conditions |
28/Jan/2026 |
|
917-1935 |
Robust Long-Context Multilingual Retrieval and Reasoning Enabled by Combined Neural and Symbolic Techniques |
27/Jan/2026 |
|
915-1933 |
Neuro-LENS: a neuro-symbolic framework integrating incomplete background knowledge and deep learning |
27/Jan/2026 |
|
922-1942 |
Algorithmic ersatz for VSA: Towards macroscopic simulation of Vector Symbolic Architecture |
23/Jan/2026 |
