GustikS / NeuraLogicLinks
Deep relational learning through differentiable logic programming.
☆108Updated last month
Alternatives and similar repositories for NeuraLogic
Users that are interested in NeuraLogic are comparing it to the libraries listed below
Sorting:
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆294Updated this week
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆49Updated last year
- Deep Learning and Logical Reasoning from Data and Knowledge☆314Updated 10 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆259Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆292Updated 2 weeks ago
- Neuro-Symbolic AI Toolkit☆100Updated this week
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- Library that contains implementations of machine learning components in the hyperbolic space☆141Updated last year
- Sparse Circuits on the GPU (ICLR2025)☆15Updated last month
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆21Updated 2 years ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆51Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆16Updated 7 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆125Updated 11 months ago
- Given an input graph (ArangoDB or PyG) it generates graph embeddings using Low-Code framework built on top of PyG.☆68Updated last year
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- ☆19Updated 2 years ago
- ☆36Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆66Updated 6 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆28Updated 11 months ago
- A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks☆13Updated 2 years ago
- Python library that enables using prolog syntax and logic programming in python☆127Updated 2 years ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Updated 4 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- Holographic Reduced Representations☆26Updated 10 months ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆280Updated last week
- A Python Library for Deep Probabilistic Modeling☆61Updated 10 months ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆31Updated last year
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆58Updated 3 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- Tool for building graph-based hierarchical knowledge representation systems☆84Updated 2 years ago