← Research Research
Neurosymbolic & Hybrid AI
50 tracked items · 12 in the last 30 days · ↓ cooling
Items
-
arxiv.org
-
Neuro-Symbolic AI: Teaching Machines to Reason, Not Just Recognize
-
Making Data AI-Ready with Knowledge Graphs
-
Is Your Neuro-Symbolic AI Actually Good? Here’s the Report Card Researchers Use
-
Neurosymbolic AI Cognition OS
-
AI Mathematical Reasoning: Neuro
-
Trio of studies pursues logical reasoning in large language models
-
A neurosymbolic approach to natural language formalization and verification
-
MalSkills: Detecting Malicious Skills in the Agentic Supply Chain via Neuro
-
arxiv.org
-
Caesar: An Open
-
CPUs and the rise of neurosymbolic AI
-
Constructing Dynamic Master Logic Models as Knowledge Graphs for Complex System Diagnostics Using Retrieval-Augmented Large Language Models
-
MultiGlobeQA: A Multilingual and Globally Diverse Benchmark for Geospatial Reasoning
-
A Neurosymbolic Approach for Explainable Early Diagnosis of Alzheimer's Disease
-
From Dependency to Compositionality: A Neurosymbolic Lifting of LLM Outputs via Combinatory Categorial Grammar
-
Learning Structural Convergence: A Neuro-Symbolic Benchmark for Temporal Reasoning
-
Neuro-Symbolic AI Global Market Report 2026
-
2026 predictions: Neuro-Symbolic AI, robotics and the future of computing
-
NAI journal issues
-
researchgate.net
-
arxiv.org
-
Programming Knowledge Graphs (PKG)
-
Using LLMs with Knowledge Graphs to Enhance Code Generation « DBIS
-
Verifying your browser
-
dice-research.org
-
arxiv.org
-
ucla.edu
-
A survey of neurosymbolic artificial intelligence: foundations, advances, and future trajectories
-
arxiv.org
-
GitHub - jindongli-Ai/LLM-Symbolic-Reasoning-Survey: The official GitHub page for the survey paper "A Survey on LLM Symbolic Reasoning". And this paper is under review.
-
Launch HN: Bloomy (YC S26) – AI-powered mastery learning for K-12
-
Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog
-
Agent-Guided Relational Concept Discovery: Toward Interpretable Surgical Margin Assessment
-
AI-Driven Formal Theorem Proving in the Lean Ecosystem
-
Symbolic-Neural Integration
-
Neuro-Symbolic AI Trends in Silicon Valley 2026
-
Neuro-Symbolic AI Wins On Long-Horizon Reasoning And Does So At A Lower Energy Cost
-
Even more good news for the future of neurosymbolic AI
-
Neuro-Symbolic AI for Agent Reasoning: Bridging Neural Fluency and Symbolic Rigor
-
Neuro-Symbolic AI: Why 2026 Is the Turning Point
-
Improving Rule-based Reasoning in LLMs using Neurosymbolic Representations
-
researchgate.net
-
neurosymbolic-ai-journal.com
-
Accenture: Then and now, and how it may signify things to come
-
Testing AI Software Isn’t Like Testing Plain Old Software
-
Why Policy in Amazon Bedrock AgentCore chose Cedar for securing agentic workflows
-
Virtual Cells for Microscopy Assays
-
Towards Reasoning in Virtual Cells
-
Grounding Perturbation Prediction in Biological Knowledge