Dolphin-NeSy / DolphinLinks
Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.
☆16Updated last week
Alternatives and similar repositories for Dolphin
Users that are interested in Dolphin are comparing it to the libraries listed below
Sorting:
- Neurosymbolic Library☆28Updated this week
- Deep Learning and Logical Reasoning from Data and Knowledge☆343Updated last year
- Python notebooks for a tutorial on neurosymbolic programming☆77Updated last year
- Framework and Language for Neurosymbolic Programming.☆442Updated 9 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆295Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆148Updated last year
- Domain Specific Language for the Abstraction and Reasoning Corpus☆318Updated last year
- MI and Formal Verification of NNs on Algorithmic tasks!☆18Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆302Updated last week
- PyC (Pytorch Concepts) is a PyTorch-based library for training concept-based interpretable deep learning models.☆28Updated last month
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆323Updated this week
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆393Updated 4 months ago
- Official PyTorch Implementation of "The Hidden Attention of Mamba Models"☆231Updated 3 months ago
- An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a un…☆84Updated 7 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆36Updated last year
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆101Updated 4 months ago
- An inductive logic programming system☆263Updated this week
- From pixels to symbolic rule learning☆12Updated 4 years ago
- The Neuro-Symbolic Forward Reasoner☆26Updated 2 years ago
- KAN for Vision Transformer☆256Updated last year
- ☆37Updated 2 years ago
- Reverse Engineering the Abstraction and Reasoning Corpus☆331Updated 11 months ago
- Formal to Formal Mathematics Benchmark☆413Updated 2 years ago
- Official implementation of our paper "CNN-JEPA: Self-Supervised Pretraining Convolutional Neural Networks Using Joint Embedding Predictiv…☆27Updated 6 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆18Updated last year
- xLSTM as Generic Vision Backbone☆491Updated 3 months ago
- ☆547Updated 2 years ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆23Updated last year
- Repository of Vision Transformer with Deformable Attention (CVPR2022) and DAT++: Spatially Dynamic Vision Transformerwith Deformable Atte…☆26Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆112Updated 4 months ago