IBM / TensorLNN
Scalable Training of Propositional Logical Neural Networks.
☆11Updated 2 years ago
Related projects: ⓘ
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆36Updated last year
- Logic Reinforcement Learning☆15Updated 2 months ago
- ☆10Updated 4 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆14Updated last year
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆26Updated 3 years ago
- ☆11Updated last year
- Implementation of Symbolic Relational Deep Reinforcement Learning based on Graph Neural Networks☆24Updated last year
- Neurosymbolic transformers for multi-agent communication.☆20Updated 3 years ago
- ☆16Updated 3 months ago
- ☆11Updated 5 months ago
- ☆12Updated this week
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆14Updated last year
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆32Updated last year
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆29Updated 2 years ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆19Updated last year
- ☆11Updated last year
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated last year
- ☆27Updated last year
- PyTorch implementation for "On the Critical Role of Conventions in Adaptive Human-AI Collaboration", ICLR 2021☆14Updated 3 years ago
- ☆24Updated 2 years ago
- ☆52Updated 8 months ago
- Phy-Q: A Testbed for Physical Reasoning☆38Updated last month
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆17Updated last year
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆34Updated 6 months ago
- PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge☆14Updated 3 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆72Updated 2 weeks ago
- [ICLR 2022 Spotlight] Multi-Stage Episodic Control for Strategic Exploration in Text Games☆13Updated 2 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆10Updated last year
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated last year
- ☆27Updated 3 years ago