IBM / TensorLNN
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
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆44Updated last year
- Logic Reinforcement Learning☆16Updated 9 months ago
- ☆12Updated 2 years ago
- ☆10Updated 5 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆14Updated 2 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆125Updated last year
- Neuro-Symbolic Hierarchical Rule Induction☆12Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated 2 months ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆30Updated 3 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆108Updated 6 months ago
- The Neuro-Symbolic Forward Reasoner☆22Updated last year
- Neuro-Symbolic AI Toolkit☆90Updated last year
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆37Updated 2 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆15Updated 2 years ago
- Python notebooks for a tutorial on neurosymbolic programming☆71Updated last year
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆91Updated last year
- ☆17Updated 2 years ago
- [ICLR 2022 Spotlight] Multi-Stage Episodic Control for Strategic Exploration in Text Games☆14Updated 3 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 11 months ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Updated 2 years ago
- From pixels to symbolic rule learning☆12Updated 3 years ago
- Experimentation framework for Popper☆22Updated 11 months ago
- Neurosymbolic transformers for multi-agent communication.☆22Updated 4 years ago
- ☆24Updated 2 years ago
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆12Updated 2 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆77Updated 3 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- ☆9Updated 5 months ago
- DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning☆22Updated 4 years ago
- Levin tree search guided by both a policy and a heuristic function☆18Updated last year