The Neuro-Symbolic Forward Reasoner
☆29Jun 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Apr 3, 2023Updated 3 years ago
- Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.☆18Updated this week
- ☆35Jun 22, 2021Updated 4 years ago
- Codebase for Neuro-Symbolic Continual Learning.☆26Aug 21, 2023Updated 2 years ago
- ☆20Jan 20, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code for paper "Multi-label Classification Neural Networks with Hard Logical Constraints"☆15Sep 6, 2022Updated 3 years ago
- From pixels to symbolic rule learning☆12Nov 12, 2021Updated 4 years ago
- Code in support of the paper Continuous Mixtures of Tractable Probabilistic Models☆12Oct 12, 2024Updated last year
- ☆10May 24, 2021Updated 5 years ago
- Tensorflow code for "Hierarchical Decompositional Mixtures of Variational Autoencoders" (ICML'19)☆12Jun 7, 2020Updated 5 years ago
- Code for UAI'19: Random Sum-Product Networks: A Simple and Effective Approach to Probabilistic Deep Learning☆38Jun 7, 2020Updated 5 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆31Jun 14, 2024Updated last year
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated 7 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Neuro-symbolic concept embedding and reasoning for ALC knowledge bases☆14Feb 7, 2023Updated 3 years ago
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- [EMNLP 2021] Code and data for our paper "Vision-and-Language or Vision-for-Language? On Cross-Modal Influence in Multimodal Transformers…☆20Jan 17, 2022Updated 4 years ago
- Official implementation of the ICML 2025 paper "SOLD: Slot Object-Centric Latent Dynamics Models for Relational Manipulation Learning fro…☆18Sep 30, 2025Updated 7 months ago
- Linear Relational Embeddings (LREs) and Linear Relational Concepts (LRCs) for LLMs in PyTorch☆10Aug 7, 2024Updated last year
- PyTorch implementation of nonsymmetric determinantal point process (DPP) learning.☆25Feb 15, 2023Updated 3 years ago
- ☆19Feb 22, 2023Updated 3 years ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆23Mar 4, 2024Updated 2 years ago
- python notebooks for revising machine learning basics☆28Jun 26, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆24Jun 30, 2023Updated 2 years ago
- ☆19Nov 25, 2022Updated 3 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 7 months ago
- Attend Infer Repeat (AIR) in PyTorch☆22Jul 25, 2024Updated last year
- ☆15Apr 1, 2026Updated last month
- Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.☆17Mar 18, 2026Updated 2 months ago
- Python package for Sentential Decision Diagrams (SDD)☆74Dec 15, 2025Updated 5 months ago
- Updated code base for GlanceNets: Interpretable, Leak-proof Concept-based models☆25Jun 28, 2023Updated 2 years ago
- Holographic Reduced Representations☆35Dec 4, 2025Updated 5 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An implementation of EinsumNetworks in PyTorch.☆23Jan 26, 2026Updated 3 months ago
- Learning Precise Affordances from Egocentric Videos for Robotic Manipulation (ICCV 2025)☆26Jan 30, 2026Updated 3 months ago
- Probabilistic Circuits in Julia☆10Dec 27, 2023Updated 2 years ago
- Very Simple and Basic Implementation of Compositional Pattern Producing Network in TensorFlow☆11Nov 27, 2019Updated 6 years ago
- PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).☆455Oct 24, 2020Updated 5 years ago
- Object Centric Atari games☆99Dec 5, 2025Updated 5 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago