IBM / TensorLNN
Scalable Training of Propositional Logical Neural Networks.
☆13Updated 2 years ago
Alternatives and similar repositories for TensorLNN:
Users that are interested in TensorLNN 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☆41Updated last year
- Logic Reinforcement Learning☆15Updated 6 months ago
- Demo for Neuro-Symbolic Agent (LOA)☆14Updated 2 years ago
- ☆10Updated 5 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆11Updated 2 years ago
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆35Updated 10 months ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆75Updated 2 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆120Updated last year
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆34Updated 2 years ago
- Neurosymbolic transformers for multi-agent communication.☆21Updated 4 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆98Updated 3 months ago
- ☆12Updated last year
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆26Updated 3 years ago
- Phy-Q: A Testbed for Physical Reasoning☆42Updated 6 months ago
- Implements the Messenger environment and EMMA model.☆23Updated last year
- [ICLR 2022 Spotlight] Multi-Stage Episodic Control for Strategic Exploration in Text Games☆14Updated 2 years ago
- ☆53Updated 2 months ago
- Implementation of Symbolic Relational Deep Reinforcement Learning based on Graph Neural Networks☆25Updated last year
- ☆13Updated 10 months ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated last year
- Object Centric Atari games☆63Updated this week
- ☆11Updated 2 years ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆86Updated last year
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆31Updated 2 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 8 months ago
- Neural Logic Inductive Learning☆41Updated 2 years ago
- ☆25Updated last year
- PDDL planner interface for PDDLGym.☆29Updated 11 months ago
- QuaRL is an open-source framework for systematically studying the effect of applying quantization to reinforcement learning algorithms.☆66Updated last year