logictensornetworks / LTNtorch
PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
☆26Updated 7 months ago
Alternatives and similar repositories for LTNtorch:
Users that are interested in LTNtorch are comparing it to the libraries listed below
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆44Updated last year
- ☆34Updated 4 months ago
- How to Turn Your Knowledge Graph Embeddings into Generative Models☆51Updated 9 months ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆15Updated 3 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆109Updated 7 months ago
- Implementation of "SALSA-CLRS: A Sparse and Scalable Benchmark for Algorithmic Reasoning". SALSA-CLRS is an extension to the original clr…☆17Updated last year
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆27Updated last year
- Neural Logic Inductive Learning☆42Updated 2 years ago
- Evaluation of neuro-symbolic engines☆35Updated 9 months ago
- Neural Markov Logic Networks☆11Updated 3 years ago
- Hrrformer: A Neuro-symbolic Self-attention Model (ICML23)☆54Updated last year
- Neuro-Symbolic AI Toolkit☆90Updated last year
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆67Updated last year
- The Energy Transformer block, in JAX☆57Updated last year
- ☆17Updated 2 years ago
- ☆45Updated last year
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆55Updated 3 years ago
- ☆34Updated last year
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆19Updated last year
- ☆28Updated last month
- ☆34Updated 5 months ago
- Neuro-Symbolic Hierarchical Rule Induction☆12Updated 2 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- ☆28Updated last year
- A curated paper list on neural symbolic and probabilistic logic.☆127Updated last year
- Official implementation of Inductive Logical Query Answering in Knowledge Graphs (NeurIPS 2022)☆48Updated 2 years ago
- ☆22Updated 3 years ago
- ☆16Updated last year
- ☆25Updated 2 years ago