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
- An inductive logic programming system☆263Updated this week
- MI and Formal Verification of NNs on Algorithmic tasks!☆18Updated 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
- Deep Learning and Logical Reasoning from Data and Knowledge☆343Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆18Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆295Updated last year
- Framework and Language for Neurosymbolic Programming.☆442Updated 9 months ago
- Reverse Engineering the Abstraction and Reasoning Corpus☆331Updated 11 months ago
- Code and Data for DeepLog system☆19Updated 2 years ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆101Updated 4 months ago
- ☆67Updated 3 months ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆393Updated 4 months ago
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Updated 4 months ago
- Multiple datasets for ARC (Abstraction and Reasoning Corpus)☆87Updated 10 months ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated last year
- The Neuro-Symbolic Forward Reasoner☆26Updated 2 years ago
- Formal to Formal Mathematics Benchmark☆413Updated 2 years ago
- From pixels to symbolic rule learning☆12Updated 4 years ago
- Bootstrapping ARC☆155Updated last year
- ☆547Updated 2 years ago
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆50Updated last year
- A scalable abstraction learning library☆84Updated 4 months ago
- Codebase for Neuro-Symbolic Continual Learning.☆27Updated 2 years ago
- PyTorch Explain: Interpretable Deep Learning in Python.☆169Updated last year
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆56Updated 2 years ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆215Updated 8 months ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆23Updated 2 years ago
- Sparse Circuits on the GPU (ICLR2025)☆20Updated last month