The Neuro-Symbolic Forward Reasoner
☆26Jun 19, 2023Updated 2 years ago
Alternatives and similar repositories for nsfr
Users that are interested in nsfr are comparing it to the libraries listed below
Sorting:
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- ☆35Jun 22, 2021Updated 4 years ago
- The Python PSDD Package☆19Jul 20, 2025Updated 7 months ago
- ☆10May 24, 2021Updated 4 years ago
- Code in support of the paper Continuous Mixtures of Tractable Probabilistic Models☆12Oct 12, 2024Updated last year
- From pixels to symbolic rule learning☆12Nov 12, 2021Updated 4 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆32Dec 4, 2023Updated 2 years ago
- Code for paper "Multi-label Classification Neural Networks with Hard Logical Constraints"☆14Sep 6, 2022Updated 3 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
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Jan 27, 2025Updated last year
- ☆17Feb 22, 2023Updated 3 years ago
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆36Mar 9, 2024Updated last year
- PyTorch implementation for "HyperSPNs: Compact and Expressive Probabilistic Circuits", NeurIPS 2021☆13Oct 26, 2021Updated 4 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆29Jun 14, 2024Updated last year
- ☆20Jan 20, 2026Updated last month
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 4 months ago
- A collection of commonly used datasets as benchmarks for density estimation in MaLe☆20Jul 15, 2019Updated 6 years ago
- Attend Infer Repeat (AIR) in PyTorch☆22Jul 25, 2024Updated last year
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆23Mar 4, 2024Updated 2 years ago
- An implementation of EinsumNetworks in PyTorch.☆23Jan 26, 2026Updated last month
- A Python Library for Deep Probabilistic Modeling☆63Oct 25, 2024Updated last year
- repo for code for paper on general theory associative memory models☆21Jun 15, 2022Updated 3 years ago
- PyTorch implementation of nonsymmetric determinantal point process (DPP) learning.☆25Feb 15, 2023Updated 3 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- Example application of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Mach…☆30Sep 17, 2025Updated 5 months ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Jun 18, 2020Updated 5 years ago
- Updated code base for GlanceNets: Interpretable, Leak-proof Concept-based models☆25Jun 28, 2023Updated 2 years ago
- Holographic Reduced Representations☆30Dec 4, 2025Updated 3 months ago
- Implementation of Sum-Product Attend-Infer-Repeat☆31May 21, 2020Updated 5 years ago
- Julia code for an upper level undergraduate macroeconomics course.☆10May 18, 2022Updated 3 years ago
- Official code release for the ObSuRF model☆34Jan 19, 2023Updated 3 years ago
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- Object Centric Atari games☆99Dec 5, 2025Updated 2 months ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆344Nov 13, 2024Updated last year
- An inductive logic programming system☆270Updated this week
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆301Aug 9, 2024Updated last year
- Integrating Symbolic Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆15Feb 24, 2026Updated last week
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Python implementation of various (graph) algorithms☆11Nov 22, 2013Updated 12 years ago