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☆46Updated 3 weeks ago
- Logic Reinforcement Learning☆16Updated 10 months ago
- ☆10Updated 4 years ago
- From pixels to symbolic rule learning☆12Updated 3 years ago
- ☆10Updated 5 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Updated 2 years ago
- ☆13Updated 2 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆15Updated 2 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆112Updated 8 months ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆30Updated 3 years ago
- Few-shot Bayesian Imitation Learning with Policies as Logic over Programs☆19Updated 3 months ago
- [ICLR 2022 Spotlight] Multi-Stage Episodic Control for Strategic Exploration in Text Games☆14Updated 3 years ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated 11 months ago
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆37Updated 2 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆78Updated 3 years ago
- ☆20Updated 2 years ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆18Updated 3 weeks ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆92Updated last year
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆52Updated 4 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆15Updated 2 years ago
- Phy-Q: A Testbed for Physical Reasoning☆44Updated 10 months ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Updated 9 months ago
- ☆23Updated last year
- Neurosymbolic transformers for multi-agent communication.☆22Updated 4 years ago
- PDDL planner interface for PDDLGym.☆31Updated last year
- ☆18Updated 2 years ago
- ☆66Updated 3 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆27Updated last year
- Implements the Messenger environment and EMMA model.☆23Updated last year