☆10May 24, 2021Updated 4 years ago
Alternatives and similar repositories for dilp-st
Users that are interested in dilp-st are comparing it to the libraries listed below
Sorting:
- ☆17Feb 22, 2023Updated 3 years ago
- Scalable Training of Propositional Logical Neural Networks.☆15Feb 4, 2022Updated 4 years ago
- Faithful Python implementation of the paper "Towards Deep Symbolic Reinforcement Learning" by Garnelo et al.☆13Mar 23, 2021Updated 4 years ago
- From pixels to symbolic rule learning☆12Nov 12, 2021Updated 4 years ago
- Aligntune : A Modular Toolkit for Post Training Alignment of LLMs☆35Feb 26, 2026Updated last week
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Jul 18, 2022Updated 3 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆36Mar 9, 2024Updated last year
- Planning through backpropagation using TensorFlow.☆16Oct 29, 2020Updated 5 years ago
- ☆20Apr 3, 2023Updated 2 years ago
- ☆17Jan 24, 2021Updated 5 years ago
- Port of Aleph to SWI-Prolog☆52Feb 7, 2024Updated 2 years ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆53Jun 23, 2023Updated 2 years ago
- Official code for Generative Marginalization Models [ICML 2024] [SPGIM 2023 Workshop Oral]☆24Aug 19, 2024Updated last year
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- repo for code for paper on general theory associative memory models☆22Jun 15, 2022Updated 3 years ago
- Codebase for Neuro-Symbolic Continual Learning.☆27Aug 21, 2023Updated 2 years ago
- Deep relational learning through differentiable logic programming.☆113Aug 9, 2025Updated 6 months ago
- The Neuro-Symbolic Forward Reasoner☆26Jun 19, 2023Updated 2 years ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Nov 12, 2022Updated 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
- Implementation of Symbolic Relational Deep Reinforcement Learning based on Graph Neural Networks☆28Aug 24, 2023Updated 2 years ago
- Example application of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Mach…☆31Sep 17, 2025Updated 5 months ago
- Python package for Sentential Decision Diagrams (SDD)☆71Dec 15, 2025Updated 2 months ago
- Updated code base for GlanceNets: Interpretable, Leak-proof Concept-based models☆25Jun 28, 2023Updated 2 years ago
- Bayesian Optimization Excutable and Visualizable Application☆10Aug 14, 2023Updated 2 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆148Oct 2, 2024Updated last year
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆32Feb 10, 2022Updated 4 years ago
- ☆38Jan 26, 2024Updated 2 years ago
- ☆12Dec 20, 2018Updated 7 years ago
- This package is essentially a ros-wrapper of neural_cam. More features would be added in the future, geared towards mobile robot platform…☆11Jul 12, 2019Updated 6 years ago
- ☆11Jul 7, 2020Updated 5 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆344Nov 13, 2024Updated last year
- Python implementation of various (graph) algorithms☆11Nov 22, 2013Updated 12 years ago
- A comprehensive set of colab notebooks to showcase the principal differences among XAI techniques☆12Aug 4, 2025Updated 7 months ago
- A grunt.js task to render Handlebars templates against a context & produce HTML☆14Mar 10, 2018Updated 7 years ago
- dynamic planning, hybrid models, hierarchical active inference, tool use☆13Jun 13, 2025Updated 8 months ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- A collection of OCR'd and machine-corrected Greek texts. This base repository contains Git submodules for the different works and an inve…☆11Nov 18, 2014Updated 11 years ago