IBM / neuro-symbolic-aiView external linksLinks
Neuro-Symbolic AI Toolkit
☆112Sep 17, 2025Updated 5 months ago
Alternatives and similar repositories for neuro-symbolic-ai
Users that are interested in neuro-symbolic-ai are comparing it to the libraries listed below
Sorting:
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆304Feb 4, 2026Updated last week
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆56Sep 17, 2025Updated 5 months ago
- Scalable Training of Propositional Logical Neural Networks.☆15Feb 4, 2022Updated 4 years ago
- A curated list of awesome Neuro-Symbolic AI frameworks, libraries, software, papers, and videos.☆14Nov 1, 2022Updated 3 years ago
- ☆16Sep 28, 2023Updated 2 years ago
- ☆10May 24, 2021Updated 4 years ago
- An intuitive platform for deploying the latest discoveries in healthcare AI to everybody's phones. Powered by PyTorch!☆10Aug 25, 2020Updated 5 years ago
- Neuro-Symbolic AI, published by Packt☆45Feb 5, 2026Updated last week
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- torchlogic is a pytorch framework for developing Neuro-Symbolic AI systems and implements Neural Reasoning Networks.☆17Sep 18, 2025Updated 5 months ago
- AMR-Visualization Tools, show AMR graph strcucture☆12Jul 29, 2019Updated 6 years ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆32Dec 28, 2023Updated 2 years ago
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆190Updated this week
- Small Robot, Toy Robot platform☆34Jun 8, 2020Updated 5 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Jan 27, 2025Updated last year
- ☆14Oct 27, 2023Updated 2 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- Deep relational learning through differentiable logic programming.☆113Aug 9, 2025Updated 6 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 2 years ago
- Distributed AtomSpace Network Server☆28Feb 3, 2026Updated 2 weeks ago
- ☆20Apr 3, 2023Updated 2 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆22Nov 21, 2025Updated 2 months ago
- Neuro-Symbolic AI with Pythonic AI Language 🌱🐋🌍☆724Nov 24, 2025Updated 2 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆147Oct 2, 2024Updated last year
- Abstract Algebra: An implementation of Finite Algebras: Groups, Rings, Fields, Vector Spaces, Modules, Monoids, Semigroups, Quasigroups, …☆22Updated this week
- Named Entity Recognition (NER) models (neural and sparse) implemented based on package LibN3L☆19Jan 2, 2017Updated 9 years ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆101Sep 17, 2025Updated 5 months ago
- Neurosymbolic transformers for multi-agent communication.☆22Oct 22, 2020Updated 5 years ago
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- Code for NAACL19 paper "Skeleton-to-Response: Dialogue Generation Guided by Retrieval Memory"☆21Jul 17, 2019Updated 6 years ago
- A HOL-based framework for reasoning over knowledge graphs☆26Sep 17, 2025Updated 5 months ago
- [CVPR'25 Highlight] The official implementation of "GG-SSMs: Graph-Generating State Space Models"☆32Jun 5, 2025Updated 8 months ago
- Tensorflow implementation of RankGan (Adversarial Ranking for Language Generation)☆22Jun 15, 2018Updated 7 years ago
- datasets for NLP research☆24Nov 6, 2021Updated 4 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆32Dec 9, 2025Updated 2 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆26May 25, 2024Updated last year
- ☆24Feb 15, 2020Updated 6 years ago
- Neural Machine Translation in Pytorch☆31Jun 11, 2018Updated 7 years ago