IBM / LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
☆251Updated last year
Alternatives and similar repositories for LNN:
Users that are interested in LNN are comparing it to the libraries listed below
- Neuro-Symbolic AI Toolkit☆85Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆102Updated 5 months ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆289Updated 3 months ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆41Updated last year
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆265Updated 6 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆222Updated 7 months ago
- A HOL-based framework for reasoning over knowledge graphs☆24Updated 4 months ago
- Python notebooks for a tutorial on neurosymbolic programming☆66Updated 10 months ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆76Updated 3 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆208Updated last week
- Deep relational learning through differentiable logic programming.☆102Updated 7 months ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆12Updated 2 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆121Updated last year
- Scalable Training of Propositional Logical Neural Networks.☆13Updated 3 years ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆88Updated last year
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆288Updated this week
- Large language model and dataset for natural language to first-order logic translation☆51Updated last year
- ☆19Updated last month
- An inductive logic programming system☆217Updated last month
- Code that implements efficient knowledge graph extraction from the textual descriptions☆161Updated 2 years ago
- ☆203Updated last year
- The Neuro-Symbolic Forward Reasoner☆22Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆26Updated 5 months ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆53Updated 3 years ago
- ☆36Updated 4 months ago
- ☆122Updated last year
- Neuro-Symbolic AI, published by Packt☆32Updated last year
- A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantee…☆52Updated 5 years ago
- SoTA Abstract Meaning Representation (AMR) parsing with word-node alignments in Pytorch. Includes checkpoints and other tools such as sta…☆249Updated 2 months ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆61Updated last year