Alternatives and similar repositories for TensorLNN

Users that are interested in TensorLNN are comparing it to the libraries listed below

• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆55Updated 3 months ago
• reactive-systems / deepltl
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆32Updated 3 years ago
• k4ntz / NUDGE
  Logic Reinforcement Learning
  ☆18Updated 2 months ago
• hkrsnd / dilp-st
  ☆10Updated 4 years ago
• tommasocarraro / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆141Updated last year
• clvrai / leaps
  Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021
  ☆38Updated 3 months ago
• NVIDIA / GraphQSat
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆52Updated 5 years ago
• apayani / ILP
  ☆10Updated 6 years ago
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated last year
• IBM / neuro-vector-symbolic-architectures
  PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…
  ☆99Updated 3 months ago
• thuwzy / Neural-Symbolic-and-Probabilistic-Logic-Papers
  A curated paper list on neural symbolic and probabilistic logic.
  ☆130Updated 2 years ago
• VITA-Group / DiffSES
  [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…
  ☆16Updated 2 years ago
• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆17Updated 3 years ago
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆78Updated last year
• shihui2010 / symbolic_simplifier
  PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge
  ☆14Updated 4 years ago
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 3 years ago
• ml-research / alphailp
  ☆16Updated 2 years ago
• ellisk42 / LambdaBeam
  ☆13Updated last year
• ellisk42 / humanlike_fewshot_learning
  ☆30Updated 2 years ago
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆109Updated 3 months ago
• reactive-systems / ml2
  Machine Learning for Mathematics and Logics
  ☆16Updated 8 months ago
• IBM / commonsense-rl
  Knowledge-Aware RL agents with Commonsense Reasoning
  ☆79Updated 3 years ago
• claireaoi / hierarchical-rule-induction
  Neuro-Symbolic Hierarchical Rule Induction
  ☆14Updated 2 years ago
• azreasoners / NeurASP
  ☆49Updated 2 years ago
• Jungyhuk / latent-execution
  ☆25Updated 4 years ago
• ronwalf / HTN-Translation
  Translating HTN planning problems to PDDL
  ☆21Updated 4 years ago
• Lizn-zn / Nesy-Programming
  ☆10Updated last year
• rfeinman / GNS-Modeling
  Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)
  ☆29Updated 4 years ago
• lio-wong / dreamcoder
  ☆74Updated 3 years ago
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆19Updated 2 years ago