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:
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated 2 years ago
- ☆21Apr 3, 2023Updated 3 years ago
- ☆35Jun 22, 2021Updated 5 years ago
- The Python PSDD Package☆18Jul 20, 2025Updated last year
- ☆20Jan 20, 2026Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- From pixels to symbolic rule learning☆13Nov 12, 2021Updated 4 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆111Sep 17, 2025Updated 11 months ago
- ☆10May 24, 2021Updated 5 years ago
- Tensorflow code for "Hierarchical Decompositional Mixtures of Variational Autoencoders" (ICML'19)☆12Jun 7, 2020Updated 6 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- PyTorch implementation for "HyperSPNs: Compact and Expressive Probabilistic Circuits", NeurIPS 2021☆13Oct 26, 2021Updated 4 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
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 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.
- Neuro-symbolic concept embedding and reasoning for ALC knowledge bases☆14Feb 7, 2023Updated 3 years ago
- A collection of commonly used datasets as benchmarks for density estimation in MaLe☆20Jul 15, 2019Updated 7 years ago
- Explainable Modular Reinforcement Learning (from images)☆16Jan 5, 2026Updated 7 months 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
- PyTorch implementation of nonsymmetric determinantal point process (DPP) learning.☆25Feb 15, 2023Updated 3 years ago
- python notebooks for revising machine learning basics☆28Jun 26, 2018Updated 8 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆26Jun 30, 2023Updated 3 years ago
- Minimal template for a Python library project☆11Nov 21, 2022Updated 3 years ago
- A Python Library for Deep Probabilistic Modeling☆63Oct 25, 2024Updated last year
- 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.
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 10 months ago
- Implementation of Sum-Product Attend-Infer-Repeat☆31May 21, 2020Updated 6 years ago
- ☆19Feb 22, 2023Updated 3 years ago
- Attend Infer Repeat (AIR) in PyTorch☆22Jul 25, 2024Updated 2 years ago
- Updated code base for GlanceNets: Interpretable, Leak-proof Concept-based models☆26Jun 28, 2023Updated 3 years ago
- Holographic Reduced Representations☆39Dec 4, 2025Updated 8 months ago
- An implementation of EinsumNetworks in PyTorch.☆23Jan 26, 2026Updated 7 months ago
- NSRM: Neuro-Symbolic Robot Manipulation☆18Jul 11, 2023Updated 3 years ago
- Object Centric Atari games☆104Dec 5, 2025Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Probabilistic Circuits in Julia☆10Dec 27, 2023Updated 2 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 years ago
- PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).☆460Oct 24, 2020Updated 5 years ago
- ☆20Jun 2, 2026Updated 3 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- repo for code for paper on general theory associative memory models☆23Jun 15, 2022Updated 4 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆373Nov 13, 2024Updated last year