|
975-2005 |
Logically Constrained Latent Geometry: Entailment-Modulated Metric Preconditioning and Sherman-Morrison Matrix-Free Retraction |
Reject (Pre-Screening) |
|
|
972-2002 |
Learning While Reasoning: Pattern-Based Crystallization and the Gap-Detect-Crystallize-Retrieve Loop for Neurosymbolic AI |
Reject (Pre-Screening) |
|
|
961-1989 |
Neuro-LENS: a neuro-symbolic framework integrating incomplete background knowledge and deep learning |
Accept |
Guest Editors NeSy 2025 |
|
960-1987 |
Gestalt Vision: A Dataset for Evaluating Gestalt Principles in Visual Perception |
Accept |
Guest Editors NeSy 2025 |
|
959-1986 |
Trustworthy Knowledge Base Embeddings: A Foundational Study of Box Semantics |
Accept |
Guest Editors NeSy 2025 |
|
956-1983 |
Neuro-Symbolic Architectures: Formalizing, Extending, Evaluating, and Empowering Generative AI |
Accept |
Guest Editors NeSy 2025 |
|
951-1977 |
Neuro-Symbolic methods for Trustworthy AI: a systematic review with a focus on interpretability |
Accept |
Guest Editors Trustworthy Neurosymbolic AI 2024 |
|
949-1973 |
A Survey of Neurosymbolic Answer Set Programming |
Minor Revision |
Luc De Raedt |
|
945-1969 |
Robust Long-Context Multilingual Retrieval and Reasoning Enabled by Combined Neural and Symbolic Techniques |
Accept |
Guest Editors NeSy 2025 |
|
943-1967 |
NSORN: Designing a Benchmark Dataset for Neurosymbolic Ontology Reasoning with Noise |
Accept |
Guest Editors Neurosymbolic AI and Ontologies 2024 |
|
940-1963 |
Neuro-symbolic AI for Predictive Maintenance (PdM) - review and recommendations. |
Reject (Pre-Screening) |
|
|
939-1962 |
Neuro-symbolic AI for Predictive Maintenance (PdM) - review and recommendations. |
Reject (Pre-Screening) |
|
|
936-1959 |
A Neuro-Symbolic Architecture for Inducing Epistemic Agency and System-2 Reasoning in Quantized Large Language Models |
Reject (Pre-Screening) |
|
|
935-1958 |
A Survey on Neuro-Symbolic Auditing: A Framework for Verification, Traceability, and Correction in High-Stakes AI |
Reject (Pre-Screening) |
|
|
934-1957 |
A Survey on Neuro-Symbolic Auditing: A Framework for Verification, Traceability, and Correction in High-Stakes AI |
Reject (Pre-Screening) |
|
|
933-1956 |
A survey of neurosymbolic artificial intelligence: foundations, advances, and future trajectories |
Major Revision |
Pascal Hitzler |
|
932-1955 |
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations |
Accept |
Guest Editors NeSy 2025 |
|
930-1952 |
Neurosymbolic Inference, Reasoning and Proving in Propositional Logic: A Survey |
Reject (Pre-Screening) |
|
|
929-1951 |
Neuro-symbolic AI for Predictive Maintenance (PdM) - review and recommendations. |
Reject (Pre-Screening) |
|
|
928-1950 |
Neuro-symbolic AI for Predictive Maintenance (PdM) - review and recommendations. |
Reject (Pre-Screening) |
Pascal Hitzler |
|
927-1949 |
Temporal Neuro-Symbolic Reasoning: from architectures to verifiable and auditable systems |
Major Revision |
Artur Garcez |
|
926-1948 |
A Neurosymbolic Approach to Counterfactual Fairness |
Accept |
Guest Editors NeSy 2025 |
|
924-1945 |
Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis |
Accept |
Guest Editors NeSy 2025 |
|
923-1943 |
Metrizable symbolic data structure for ill-defined problem solving |
Reject |
Dagmar Gromann |
|
922-1942 |
Algorithmic ersatz for VSA: Towards macroscopic simulation of Vector Symbolic Architecture |
Accept |
Alessandro Oltramari |
|
920-1940 |
Metatuning: An Empirical Study of Judge-Guided Prompt Refinement and Its Boundary Conditions |
Accept |
Guest Editors NeSy 2025 |
|
917-1935 |
Robust Long-Context Multilingual Retrieval and Reasoning Enabled by Combined Neural and Symbolic Techniques |
Minor Revision |
Guest Editors NeSy 2025 |
|
916-1934 |
Tensor Logic: The Language of AI |
Reject |
Pasquale Minervini |
|
915-1933 |
Neuro-LENS: a neuro-symbolic framework integrating incomplete background knowledge and deep learning |
Minor Revision |
Guest Editors NeSy 2025 |
