Alternatives and similar repositories for NeuraLogic

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

• LukasZahradnik / PyNeuraLogic
  PyNeuraLogic lets you use Python to create Differentiable Logic Programs
  ☆294Updated 3 months ago
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆96Updated 2 years ago
• maxadamski / reasonable-embeddings
  A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks
  ☆13Updated 2 years ago
• lab-v2 / pyreason
  An explainable inference software supporting annotated, real valued, graph based and temporal logic
  ☆286Updated last week
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆254Updated last year
• arranger1044 / probabilistic-circuits
  A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.
  ☆49Updated last year
• logictensornetworks / logictensornetworks
  Deep Learning and Logical Reasoning from Data and Knowledge
  ☆307Updated 8 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
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• srlearn / srlearn
  ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.
  ☆31Updated 2 years ago
• nalexai / hyperlib
  Library that contains implementations of machine learning components in the hyperbolic space
  ☆140Updated last year
• Kappa-Dev / ReGraph
  Tool for building graph-based hierarchical knowledge representation systems
  ☆82Updated 2 years ago
• HEmile / a-nesi
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆15Updated 6 months ago
• ML-KULeuven / deepstochlog
  ☆35Updated last year
• tommasocarraro / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆121Updated 10 months ago
• pylon-lib / pylon
  ☆122Updated last year
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆20Updated 2 years ago
• MahmudulAlam / Holographic-Reduced-Representations
  Holographic Reduced Representations
  ☆26Updated 9 months ago
• ML-KULeuven / klay
  Sparse Circuits on the GPU (ICLR2025)
  ☆12Updated last month
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆63Updated 5 months ago
• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆50Updated 2 years ago
• logictensornetworks / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆27Updated 10 months ago
• nerdimite / neuro-symbolic-ai-soc
  Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
  ☆57Updated 3 years ago
• arangoml / fastgraphml
  Given an input graph (ArangoDB or PyG) it generates graph embeddings using Low-Code framework built on top of PyG.
  ☆68Updated last year
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆47Updated 3 months ago
• COLAB2 / midca
  The Metacognitive Integrated Dual-Cycle Architecture (MIDCA)
  ☆25Updated 2 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆46Updated 9 months ago
• azreasoners / NeurASP
  ☆46Updated last year
• uclnlp / ctp
  Conditional Theorem Proving
  ☆53Updated 4 years ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year