The Neuro-Symbolic Forward Reasoner
☆30Jun 19, 2023Updated 3 years ago
Alternatives and similar repositories for nsfr
Users that are interested in nsfr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository for the CLEVR-Hans dataset☆12Mar 11, 2021Updated 5 years ago
- ☆35Jun 22, 2021Updated 5 years ago
- ☆19Feb 22, 2023Updated 3 years ago
- ☆21Apr 3, 2023Updated 3 years ago
- Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statement…☆11Sep 28, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Codebase for Neuro-Symbolic Continual Learning.☆27Aug 21, 2023Updated 3 years ago
- The Python PSDD Package☆18Jul 20, 2025Updated last year
- ☆10May 24, 2021Updated 5 years ago
- Thinking through AI agents and the neuro-symbolic definition from an early LLM agent paper called MRKL. I'm sharing my reasoning behind u…☆12Nov 23, 2024Updated last year
- Neuro-Symbolic Message-Passing Reasoner☆16Mar 4, 2025Updated last year
- Conversational Neuro-Symbolic Commonsense Reasoning☆27Jun 18, 2020Updated 6 years ago
- From pixels to symbolic rule learning☆13Nov 12, 2021Updated 4 years ago
- Explainable Modular Reinforcement Learning (from images)☆16Jan 5, 2026Updated 9 months ago
- Code in support of the paper Continuous Mixtures of Tractable Probabilistic Models☆12Oct 12, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆112Sep 17, 2025Updated last year
- Official repository for "Logically Consistent Language Models via Neuro-Symbolic Integration", accepted at ICLR 2025.☆12Mar 11, 2025Updated last year
- Tensorflow code for "Hierarchical Decompositional Mixtures of Variational Autoencoders" (ICML'19)☆12Jun 7, 2020Updated 6 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- PyTorch implementation for "HyperSPNs: Compact and Expressive Probabilistic Circuits", NeurIPS 2021☆13Oct 26, 2021Updated 5 years ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆43Feb 15, 2024Updated 2 years ago
- A curated list of awesome Neuro-Symbolic AI frameworks, libraries, software, papers, and videos.☆19Nov 1, 2022Updated 4 years ago
- ☆12Dec 12, 2021Updated 4 years ago
- Object Centric Atari games☆105Dec 5, 2025Updated 10 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Updated code base for GlanceNets: Interpretable, Leak-proof Concept-based models☆26Jun 28, 2023Updated 3 years ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆24Mar 4, 2024Updated 2 years ago
- Code for UAI'19: Random Sum-Product Networks: A Simple and Effective Approach to Probabilistic Deep Learning☆38Jun 7, 2020Updated 6 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- Example application of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Mach…☆34Sep 17, 2025Updated last year
- A collection of commonly used datasets as benchmarks for density estimation in MaLe☆20Jul 15, 2019Updated 7 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 3 years ago
- NSRM: Neuro-Symbolic Robot Manipulation☆18Jul 11, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 6 years ago
- Code and supplementary material for "Automatic Bayesian Density Analysis", AAAI 19☆20Nov 21, 2018Updated 7 years ago
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 4 years ago
- A implementation of FactorVAE from the paper Disentangling by Factorising, Kim & Mnih 2018 (https://arxiv.org/pdf/1802.05983.pdf )☆16Apr 24, 2018Updated 8 years ago
- Python package for Sentential Decision Diagrams (SDD)☆74Dec 15, 2025Updated 10 months ago