IBM / TensorLNNLinks
Scalable Training of Propositional Logical Neural Networks.
☆15Updated 4 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☆56Updated 4 months ago
- ☆10Updated 4 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆32Updated 3 years ago
- Logic Reinforcement Learning☆18Updated 3 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆148Updated last year
- ☆13Updated 2 years ago
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆39Updated 4 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆18Updated last year
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆52Updated 5 years ago
- ☆25Updated 3 years ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆101Updated 4 months ago
- A curated paper list on neural symbolic and probabilistic logic.☆134Updated 2 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆17Updated 3 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆13Updated 4 years ago
- ☆10Updated last year
- PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge☆14Updated 4 years ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated last year
- ☆49Updated 2 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆17Updated 3 years ago
- Python notebooks for a tutorial on neurosymbolic programming☆77Updated last year
- ☆25Updated 4 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Updated 3 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Updated last year
- Solving the Abstraction & Reasoning Corpus with DreamCoder☆57Updated last year
- Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…☆23Updated 7 months ago
- ☆10Updated 6 years ago
- ☆74Updated 3 years ago
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆29Updated 4 years ago
- Neural Logic Inductive Learning☆44Updated 3 years ago
- ☆30Updated 2 years ago