|
922-1942 |
Algorithmic ersatz for VSA: Towards macroscopic simulation of Vector Symbolic Architecture |
13/Feb/2026 |
|
864-1871 |
A Mathematical Framework and a Suite of Learning Techniques for Neural-Symbolic Systems |
13/Feb/2026 |
|
886-1896 |
mULLER: A Modular Monad-Based Semantics of the Neurosymbolic ULLER Framework |
13/Feb/2026 |
|
923-1943 |
Metrizable symbolic data structure for ill-defined problem solving |
12/Feb/2026 |
|
931-1953 |
Neurosymbolic Inference, Reasoning and Proving in Propositional Logic: A Survey |
11/Feb/2026 |
|
927-1949 |
Temporal Neuro-Symbolic Reasoning: from architectures to verifiable and auditable systems |
11/Feb/2026 |
|
937-1960 |
A Survey on Neuro-Symbolic Auditing: A Framework for Verification, Traceability, and Correction in High-Stakes AI |
10/Feb/2026 |
|
932-1955 |
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations |
10/Feb/2026 |
|
933-1956 |
A survey of neurosymbolic artificial intelligence: foundations, advances, and future trajectories |
10/Feb/2026 |
|
916-1934 |
Tensor Logic: The Language of AI |
10/Feb/2026 |
|
926-1948 |
A Neurosymbolic Approach to Counterfactual Fairness |
10/Feb/2026 |
|
925-1947 |
Graph Neural Network based Hierarchy-Aware Embeddings of Knowledge Graphs: Applications to Yeast Phenotype Prediction |
05/Feb/2026 |
|
911-1927 |
Neuro-Symbolic Architectures: Formalizing, Extending, Evaluating, and Empowering Generative AI |
03/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 |
|
915-1933 |
Neuro-LENS: a neuro-symbolic framework integrating incomplete background knowledge and deep learning |
27/Jan/2026 |
