Alternatives and similar repositories for symbolic-rl

Users that are interested in symbolic-rl are comparing it to the libraries listed below

• joschout / tilde
  Top-down induction of first-order logical decision trees: master AI thesis implementation
  ☆26Updated 4 years ago
• ai-systems / DILP-Core
  Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…
  ☆52Updated 4 years ago
• ilaspltd / ILASP-releases
  ☆37Updated 10 months ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆24Updated 2 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• RichardEvans / apperception
  ☆80Updated 4 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆66Updated 6 months ago
• ZhengyaoJiang / NLRL
  Source code of Neural Logic Reinforcement Learning (https://arxiv.org/abs/1904.10729)
  ☆76Updated 5 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated last month
• art-ai / pypsdd
  The Python PSDD Package
  ☆19Updated last month
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 5 months ago
• jinala / multi-agent-neurosym-transformers
  Neurosymbolic transformers for multi-agent communication.
  ☆22Updated 4 years ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆69Updated last year
• guicho271828 / latplan
  LatPlan : A domain-independent, image-based classical planner
  ☆87Updated 2 years ago
• taylorwwebb / emergent_symbols
  Code for 'Emergent Symbols through Binding in External Memory'.
  ☆21Updated 2 years ago
• tomsilver / policies_logic_programs
  Few-shot Bayesian Imitation Learning with Policies as Logic over Programs
  ☆19Updated 7 months ago
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated 2 years ago
• azreasoners / NeurASP
  ☆48Updated last year
• davidenitti / DC
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆15Updated 8 years ago
• google / neural-logic-machines
  Implementation for the Neural Logic Machines (NLM).
  ☆290Updated 6 years ago
• IBM / commonsense-rl
  Knowledge-Aware RL agents with Commonsense Reasoning
  ☆78Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• minqi / wordcraft
  An environment for benchmarking commonsense agents
  ☆29Updated 5 years ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆48Updated 4 months ago
• instadeepai / AlphaNPI
  Adapting the AlphaZero algorithm to remove the need of execution traces to train NPI.
  ☆79Updated last year
• cognitiveailab / neurosymbolic
  A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"
  ☆19Updated 2 years ago
• eaplatanios / jelly-bean-world
  A framework for experimenting with never-ending learning
  ☆79Updated 11 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆237Updated last month
• rfeinman / GNS-Modeling
  Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)
  ☆27Updated 4 years ago