Alternatives and similar repositories for NASR

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

• ml-research / nsfr
  The Neuro-Symbolic Forward Reasoner
  ☆26Updated 2 years ago
• ml-research / NeSyConceptLearner
  ☆20Updated 2 years ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆56Updated 4 months ago
• k4ntz / NUDGE
  Logic Reinforcement Learning
  ☆18Updated 3 months ago
• azreasoners / NeurASP
  ☆49Updated 2 years ago
• claireaoi / hierarchical-rule-induction
  Neuro-Symbolic Hierarchical Rule Induction
  ☆14Updated 3 years ago
• art-ai / pypsdd
  The Python PSDD Package
  ☆19Updated 6 months ago
• ema-marconato / reasoning-shortcuts
  Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts
  ☆23Updated last year
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆31Updated 2 years ago
• gavlegoat / safe-learning
  ☆18Updated 2 years ago
• trishullab / near
  ☆24Updated 5 years ago
• jinala / multi-agent-neurosym-transformers
  Neurosymbolic transformers for multi-agent communication.
  ☆22Updated 5 years ago
• reactive-systems / deepltl
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆32Updated 4 years ago
• ema-marconato / NeSy-CL
  Codebase for Neuro-Symbolic Continual Learning.
  ☆27Updated 2 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆71Updated last month
• thiagopbueno / tf-plan
  Planning through backpropagation using TensorFlow.
  ☆16Updated 5 years ago
• thuwzy / Neural-Symbolic-and-Probabilistic-Logic-Papers
  A curated paper list on neural symbolic and probabilistic logic.
  ☆134Updated 2 years ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 3 years ago
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆77Updated last year
• EoinKenny / Prototype-Wrapper-Network-ICLR23
  ☆11Updated last year
• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆17Updated 3 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆20Updated 3 years ago
• IBM / vsrl-framework
  The Verifiably Safe Reinforcement Learning Framework
  ☆57Updated 4 years ago
• eth-sri / dl2
  DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…
  ☆87Updated last year
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆28Updated last week
• tomsilver / policies_logic_programs
  Few-shot Bayesian Imitation Learning with Policies as Logic over Programs
  ☆20Updated 3 months ago
• tommasocarraro / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆148Updated last year
• IBM / grammar2pddl
  Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…
  ☆18Updated 4 months ago
• JindongJiang / GNM
  Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"
  ☆36Updated last year
• QuMuLab / planner-for-relevant-policies
  ☆32Updated last year