IBM / LOALinks
Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
☆46Updated last month
Alternatives and similar repositories for LOA
Users that are interested in LOA are comparing it to the libraries listed below
Sorting:
- Scalable Training of Propositional Logical Neural Networks.☆13Updated 3 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆79Updated 3 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Updated 2 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆15Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆92Updated last year
- Logic Reinforcement Learning☆16Updated 11 months ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆19Updated 2 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆27Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆115Updated 8 months ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆56Updated 3 years ago
- ☆10Updated 4 years ago
- ☆10Updated 5 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆25Updated 2 years ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated 11 months ago
- ☆19Updated 2 years 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.☆13Updated 3 years ago
- Neurosymbolic transformers for multi-agent communication.☆22Updated 4 years ago
- ☆13Updated 2 years ago
- Neurosymbolic Library☆25Updated this week
- ☆34Updated 6 months ago
- Python notebooks for a tutorial on neurosymbolic programming☆75Updated last year
- ☆23Updated last year
- The Neuro-Symbolic Forward Reasoner☆24Updated 2 years ago
- ☆45Updated last year
- Neural Logic Inductive Learning☆44Updated 2 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- An environment for learning formal mathematical reasoning from scratch☆70Updated 10 months ago
- ☆67Updated 3 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆26Updated 8 months ago