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

Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍

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 (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.

PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)

mOWL: Machine Learning library with Ontologies

An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.

Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch

Hrrformer: A Neuro-symbolic Self-attention Model (ICML23)

[ACL 2024] The project of Symbol-LLM

Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games

LLM Dynamic Planner - Combining LLM with PDDL Planners to solve an embodied task

awesome-LLM-controlled-constrained-generation

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

Self's foundational abstractions

Holographic Reduced Representations

Codebase for Neuro-Symbolic Continual Learning.

✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models

Demo for Neuro-Symbolic Agent (LOA)

Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"