neuro-symbolic
There are 38 repositories under neuro-symbolic topic.
SynaLinks/HybridAGI
The Programmable Cypher-based Neuro-Symbolic AGI that lets you program its behavior using Graph-based Prompt Programming: for people who want AI to behave as expected
NucleoidAI/Nucleoid
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
SynaLinks/synalinks
🧠🔗 From idea to production in just few lines: Graph-Based Programmable Neuro-Symbolic LM Framework - a production-first LM framework built with decade old Deep Learning best practices
neulab/knn-transformers
PyTorch + HuggingFace code for RetoMaton: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022), including an implementation of kNN-LM and kNN-MT
aika-algorithm/aika-java
AIKA (Artificial Intelligence for Knowledge Acquisition) is an innovative approach to neural network design, diverging from traditional architectures that rely heavily on rigid matrix and vector operations. The AIKA Project introduces a flexible, sparse, and non-layered network representation, derived from a type hierarchy.
bio-ontology-research-group/mowl
mOWL: Machine Learning library with Ontologies
neulab/retomaton
PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
AbductiveLearning/ABLkit
An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.
FutureComputing4AI/Hrrformer
Hrrformer: A Neuro-symbolic Self-attention Model (ICML23)
LAMDASZ-ML/Awesome-Neuro-Symbolic-Learning-with-LLM
✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
nerdimite/neuro-symbolic-ai-soc
Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
xufangzhi/Symbol-LLM
[ACL 2024] The project of Symbol-LLM
jxzhangjhu/awesome-LLM-controlled-decoding-generation
awesome-LLM-controlled-constrained-generation
IBM/LOA
Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
itl-ed/llm-dp
LLM Dynamic Planner - Combining LLM with PDDL Planners to solve an embodied task
snap-stanford/zeroc
ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more complex, hierarchical concepts, even across domains
booch-self/self-concepts
Self's foundational abstractions
MahmudulAlam/Holographic-Reduced-Representations
Holographic Reduced Representations
ema-marconato/NeSy-CL
Codebase for Neuro-Symbolic Continual Learning.
IBM/nesa-demo
Demo for Neuro-Symbolic Agent (LOA)
mihaela-stoian/ConstrainedDGM
Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"
namin/relaxed-machines
program synthesis with neuro-symbolic differentiable interpreters
WellyZhang/ALANS
Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning
GeekAlexis/neurosymbolic-dialog
An LLM chatbot augmented by neuro-symbolic rules
booch-nvidiacluster/nanoCluster
A simple compute platform
kracr/el-embeddings
A neuro-symbolic reasoner for the EL++ description logic.
andrearafanelli/Neural-Logic-Reinforcement-Learning
Implementation of the paper: " Experimenting an Approach to Neuro-Symbolic RL"
FutureComputing4AI/Connectionist-Symbolic-Pseudo-Secrets
Research code for heuristically hiding information for inference run on 3rd party systems (ICML 22)
tailintalent/concept_library
Library for hierarchical concept composition and reasoning
bio-ontology-research-group/EmbedPVP
EmbedPVP: Embedding-based Phenotype Variant Predictor
HannaAbiAkl/PSYCHIC
The official repository for the PSYCHIC model
Hoar012/ABIL-KDD-2025
[KDD 2025] Official implementation of ABIL
MahmudulAlam/Subitizing
Towards Generalization in Subitizing with Neuro-Symbolic Loss using Holographic Reduced Representations
neuro-symbolic-ai/explanation_refinement
Code and data for paper "Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving"
debryu/RS-DAS
Hacking a Neural Network to understand what concepts the network learns in order to solve a logic task.
LuisaWerner/kegnn
Knowledge Enhanced Graph Neural Networks. We combine Knowledge Enhancement layers with Graph Neural Networks