IBM / TensorLNN
Scalable Training of Propositional Logical Neural Networks.
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for TensorLNN
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆39Updated last year
- Demo for Neuro-Symbolic Agent (LOA)☆14Updated 2 years ago
- ☆10Updated 4 years ago
- Logic Reinforcement Learning☆15Updated 4 months ago
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆33Updated 2 years ago
- ☆11Updated last year
- Neuro-Symbolic Hierarchical Rule Induction☆11Updated last year
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆31Updated 2 years ago
- PDDL planner interface for PDDLGym.☆27Updated 9 months ago
- Implementation of Symbolic Relational Deep Reinforcement Learning based on Graph Neural Networks☆25Updated last year
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆26Updated 3 years ago
- Faithful Python implementation of the paper "Towards Deep Symbolic Reinforcement Learning" by Garnelo et al.☆13Updated 3 years ago
- Simple implementations of multi-agent evolutionary strategies using pytorch.☆15Updated 2 years ago
- From pixels to symbolic rule learning☆12Updated 3 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated last year
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆19Updated last year
- ☆22Updated 10 months ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆61Updated last year
- ☆16Updated 3 years ago
- ☆40Updated last year
- ☆17Updated 5 months ago
- Code accompanying paper "Models as Agents: Optimizing Multi-Step Predictions of Interactive Local Models in Model-Based Multi-Agent Reinf…☆14Updated 11 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆90Updated last month
- ☆18Updated last year
- ☆24Updated 2 years ago
- A lightweight STRIPS planner written in Python.☆96Updated last month
- ☆15Updated last year
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆15Updated last year
- Few-shot Bayesian Imitation Learning with Policies as Logic over Programs☆18Updated 2 years ago