lab-v2 / pyreasonLinks
An explainable inference software supporting annotated, real valued, graph based and temporal logic
☆267Updated last week
Alternatives and similar repositories for pyreason
Users that are interested in pyreason are comparing it to the libraries listed below
Sorting:
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆240Updated 10 months ago
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆293Updated last month
- Deep relational learning through differentiable logic programming.☆105Updated 11 months ago
- ☆37Updated 7 months ago
- An inductive logic programming system☆228Updated 2 weeks ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆115Updated 8 months ago
- Python interface for SWI-Prolog☆49Updated 2 months ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆268Updated last month
- ☆33Updated last year
- Deep Learning and Logical Reasoning from Data and Knowledge☆298Updated 7 months ago
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆160Updated this week
- Framework and Language for Neurosymbolic Programming.☆370Updated last month
- ☆67Updated 3 years ago
- Python notebooks for a tutorial on neurosymbolic programming☆75Updated last year
- LLM verified with Monte Carlo Tree Search☆276Updated 2 months ago
- Differentiable probabilistic answer set programming☆23Updated this week
- Neuro-Symbolic AI Toolkit☆92Updated last year
- Python library that enables using prolog syntax and logic programming in python☆125Updated 2 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆349Updated 3 months ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆131Updated last month
- Metagol - an inductive logic programming system☆202Updated 3 years ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆261Updated 7 months ago
- Domain Specific Language for the Abstraction and Reasoning Corpus☆267Updated 8 months ago
- Learning Universal Predictors☆76Updated 10 months ago
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆56Updated 3 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆46Updated last month
- Materials for ConceptARC paper☆95Updated 7 months ago
- Experimentation framework for Popper☆23Updated last year
- An experimental language for causal reasoning☆214Updated 2 weeks ago