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

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.

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

Self's foundational abstractions

Holographic Reduced Representations

Codebase for Neuro-Symbolic Continual Learning.

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"

Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning

program synthesis with neuro-symbolic differentiable interpreters

Implementation of the paper: " Experimenting an Approach to Neuro-Symbolic RL"

Research code for heuristically hiding information for inference run on 3rd party systems (ICML 22)

A neuro-symbolic reasoner for the EL++ description logic.

EmbedPVP: Embedding-based Phenotype Variant Predictor

Towards Generalization in Subitizing with Neuro-Symbolic Loss using Holographic Reduced Representations

Code and data for paper "Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving"