Claude skills for Synalinks OSS

Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for Learning and Reasoning

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

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

PyTorch + HuggingFace code for RetoMaton: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022), including an implementation of kNN-LM and kNN-MT

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

mOWL: Machine Learning library with Ontologies

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)

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

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

[ACL 2024] The project of Symbol-LLM

awesome-LLM-controlled-constrained-generation

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

An explainable politeness styler for the Korean Language / 설명가능한 반-존대 변환기

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

Neuro-Symbolic Agentic Protocol

Holographic Reduced Representations

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

Codebase for Neuro-Symbolic Continual Learning.