IBM / TensorLNNLinks
Scalable Training of Propositional Logical Neural Networks.
☆13Updated 3 years ago
Alternatives and similar repositories for TensorLNN
Users that are interested in TensorLNN are comparing it to the libraries listed below
Sorting:
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆47Updated 3 months ago
- Logic Reinforcement Learning☆16Updated last year
- ☆10Updated 4 years ago
- ☆10Updated 5 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆78Updated 3 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆15Updated 2 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆30Updated 3 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆15Updated 2 years ago
- Official code for "Can Wikipedia Help Offline Reinforcement Learning?" by Machel Reid, Yutaro Yamada and Shixiang Shane Gu☆105Updated 3 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆121Updated 10 months ago
- Neurosymbolic transformers for multi-agent communication.☆22Updated 4 years ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated last year
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆27Updated 4 years ago
- A reinforcement learning environment for the IGLU 2022 at NeurIPS☆34Updated 2 years ago
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆39Updated 2 years ago
- ☆57Updated last year
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆19Updated 2 years ago
- ☆23Updated last year
- Neuro-Symbolic Hierarchical Rule Induction☆14Updated 2 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆128Updated last year
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆92Updated 2 years ago
- ☆31Updated 4 years ago
- Official repository for the paper "Going Beyond Linear Transformers with Recurrent Fast Weight Programmers" (NeurIPS 2021)☆49Updated last month
- ☆14Updated last year
- Python notebooks for a tutorial on neurosymbolic programming☆77Updated last year
- PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge☆14Updated 4 years ago
- ☆24Updated 3 years ago
- (ICLR 2021) Learning to Represent Action Values as a Hypergraph on the Action Vertices☆23Updated 4 years ago
- Object Centric Atari games☆86Updated 2 weeks ago
- PushWorld: A benchmark for manipulation planning with tools and movable obstacles☆83Updated last year