Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.
☆16Mar 5, 2026Updated 2 weeks ago
Alternatives and similar repositories for Dolphin
Users that are interested in Dolphin are comparing it to the libraries listed below
Sorting:
- TorchQL is a query language for Python-based machine learning models and datasets.☆10May 1, 2024Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- A powerful relational representation of source code☆33Sep 5, 2023Updated 2 years ago
- Pattern recognition methods for feature extraction from ECG (open source version)☆23Aug 4, 2025Updated 7 months ago
- FANC is a tool for the proof transfer of incomplete verification☆12Mar 20, 2022Updated 4 years ago
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- Reproducing BugsInPy: Benchmarking Bugs in Python Projects☆14Sep 4, 2023Updated 2 years ago
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated 5 months ago
- This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…☆15Oct 16, 2022Updated 3 years ago
- A manually vetted dataset for security vulnerability detection in Java projects☆92Aug 12, 2025Updated 7 months ago
- Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.☆26Feb 17, 2026Updated last month
- Neurosymbolic Library☆28Updated this week
- An organic life particle system☆22Jun 22, 2025Updated 8 months ago
- ☆22Nov 10, 2025Updated 4 months ago
- Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.☆18Mar 11, 2026Updated last week
- [ICLR ML4RS 2025] Official implementation for the paper "Tackling Few-Shot Segmentation in Remote Sensing via Inpainting Diffusion Model"☆14Feb 2, 2026Updated last month
- ☆19Sep 11, 2019Updated 6 years ago
- The backend and web frontend for the KAR³L flashcard app☆14Sep 28, 2025Updated 5 months ago
- [IROS 2024] PhysORD: A Neuro-Symbolic Approach for Physics-infused Motion Prediction in Off-road Driving☆22Feb 15, 2026Updated last month
- Official Implementation of the paper "DifFSS: Diffusion Model for Few-Shot Semantic Segmentation"☆14Jul 26, 2023Updated 2 years ago
- ☆10Jul 8, 2020Updated 5 years ago
- 海杂 波☆13May 27, 2025Updated 9 months ago
- A System for Debloating C/C++ Programs☆31Jul 16, 2021Updated 4 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 3 years ago
- Code for our paper: TransRAD: Retentive Vision Transformer for Enhanced Radar Object Detection☆21Sep 24, 2025Updated 5 months ago
- Enhanced CNN-based Small Target Detection in Sea Clutter with Controllable False Alarm☆16Apr 14, 2023Updated 2 years ago
- Accelerating Recommender model training by leveraging popular choices -- VLDB 2022☆31Sep 15, 2024Updated last year
- ☆10Oct 28, 2024Updated last year
- A catalog of Object Oriented Programming Problems☆26Jul 19, 2020Updated 5 years ago
- ☆12Apr 3, 2024Updated last year
- Benchmark scripts for comparing different tokenizers and sentence segmenters of German☆12Feb 27, 2023Updated 3 years ago
- Enhanced Unsupervised Object Discoveries through Exhaustive Self-Supervised Transformers☆15Jun 25, 2024Updated last year
- ☆14Jun 1, 2018Updated 7 years ago
- ☆12Dec 6, 2023Updated 2 years ago
- The Neuro-Symbolic Forward Reasoner☆29Jun 19, 2023Updated 2 years ago
- # A simple variable binding library based on well-scoped indices and environments☆29Updated this week
- Detect, Augment, Compose, and Adapt: Four Steps for Unsupervised Domain Adaptation in Object Detection☆14Dec 4, 2023Updated 2 years ago
- ☆16Sep 28, 2023Updated 2 years ago
- ☆20Apr 3, 2023Updated 2 years ago