logictensornetworks / LTNtorchLinks
PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
☆31Updated last year
Alternatives and similar repositories for LTNtorch
Users that are interested in LTNtorch are comparing it to the libraries listed below
Sorting:
- Neuro-Symbolic AI Toolkit☆109Updated 3 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆141Updated last year
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆17Updated 11 months ago
- Deep relational learning through differentiable logic programming.☆112Updated 4 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆287Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆297Updated last week
- Holographic Reduced Representations☆27Updated 3 weeks ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆332Updated last year
- ☆49Updated 2 years ago
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆289Updated last year
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- Hrrformer: A Neuro-symbolic Self-attention Model (ICML23)☆61Updated 2 months ago
- Python package for Sentential Decision Diagrams (SDD)☆70Updated last week
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Updated 5 years ago
- We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning☆56Updated 3 weeks ago
- We develop benchmarks and analysis tools to evaluate the causal reasoning abilities of LLMs.☆135Updated last year
- ☆74Updated 3 years ago
- ☆38Updated last year
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆59Updated 4 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆130Updated 2 years ago
- How to Turn Your Knowledge Graph Embeddings into Generative Models☆55Updated last year
- Evaluation of neuro-symbolic engines☆40Updated last year
- A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks☆13Updated 2 years ago
- PyTorch Explain: Interpretable Deep Learning in Python.☆165Updated last year
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆22Updated 2 years ago
- ☆19Updated 3 years ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆78Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆140Updated 7 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆314Updated last month