logictensornetworks / LTNtorch
PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
☆24Updated last month
Related projects ⓘ
Alternatives and complementary repositories for LTNtorch
- ☆33Updated 8 months ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆87Updated last month
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆39Updated last year
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆26Updated 11 months ago
- A curated paper list on neural symbolic and probabilistic logic.☆113Updated last year
- ☆40Updated 11 months ago
- Neural Logic Inductive Learning☆41Updated 2 years ago
- How to Turn Your Knowledge Graph Embeddings into Generative Models☆44Updated 3 months ago
- ☆28Updated 11 months ago
- Conditional Theorem Proving☆51Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆195Updated 3 months ago
- Neuro-Symbolic Hierarchical Rule Induction☆11Updated last year
- Neural Markov Logic Networks☆11Updated 2 years ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆55Updated 10 months ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆19Updated last year
- ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more com…☆29Updated last year
- Neuro-Symbolic AI Toolkit☆78Updated last year
- Code for Neural Execution Engines: Learning to Execute Subroutines☆16Updated 3 years ago
- GPFL - Learning logical rules from knowledge graphs.☆5Updated 4 years ago
- Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs☆95Updated last year
- Official implementation of Inductive Logical Query Answering in Knowledge Graphs (NeurIPS 2022)☆47Updated 2 years ago
- Code for gradient rollback, which explains predictions of neural matrix factorization models, as for example used for knowledge base comp…☆20Updated 3 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆71Updated 2 years ago
- PyTorch Explain: Interpretable Deep Learning in Python.☆144Updated 5 months ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆34Updated last year
- ☆122Updated 10 months ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆23Updated 4 years ago
- PyG re-implementation of Neural Bellman-Ford Networks (NeurIPS 2021)☆61Updated 2 years ago
- The Neuro-Symbolic Forward Reasoner☆22Updated last year