EleMisi / VAELLinks
Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
☆20Updated 2 years ago
Alternatives and similar repositories for VAEL
Users that are interested in VAEL are comparing it to the libraries listed below
Sorting:
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆30Updated last year
- Codebase for Neuro-Symbolic Continual Learning.☆22Updated last year
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆15Updated 5 months ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆50Updated 2 years ago
- ☆52Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆63Updated 4 months ago
- A Python Library for Deep Probabilistic Modeling☆61Updated 8 months ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆50Updated last year
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆17Updated 3 years ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆21Updated last year
- Code in support of the paper Continuous Mixtures of Tractable Probabilistic Models☆11Updated 9 months ago
- How to Turn Your Knowledge Graph Embeddings into Generative Models☆51Updated last year
- ☆34Updated 6 months ago
- The Python PSDD Package☆17Updated last month
- a python framework to build, learn and reason about probabilistic circuits and tensor networks☆111Updated this week
- Holographic Reduced Representations☆26Updated 8 months ago
- A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks☆13Updated 2 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- ☆15Updated 6 years ago
- ☆46Updated last year
- Conditional Theorem Proving☆53Updated 4 years ago
- The Neuro-Symbolic Forward Reasoner☆24Updated 2 years ago
- ☆43Updated 2 years ago
- ☆10Updated 4 years ago
- Implementation of the unbounded depth neural network from the paper Variational Inference for Infinitely Deep Neural Networks☆17Updated 2 years ago
- ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more com…☆32Updated 2 years ago
- Codebase implementing LMs for learning the Dyck-(k,m) bounded hierarchical language☆15Updated 4 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Implementation of Nonparametric Hamiltonian Monte Carlo☆12Updated 2 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Updated 3 years ago