Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.
☆16Mar 18, 2026Updated last month
Alternatives and similar repositories for Dolphin
Users that are interested in Dolphin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
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)☆26Aug 4, 2025Updated 8 months ago
- FANC is a tool for the proof transfer of incomplete verification☆12Mar 20, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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 6 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
- Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.☆26Apr 3, 2026Updated 3 weeks ago
- A manually vetted dataset for security vulnerability detection in Java projects☆99Aug 12, 2025Updated 8 months ago
- Neurosymbolic Library☆28Apr 20, 2026Updated last week
- An organic life particle system☆22Jun 22, 2025Updated 10 months ago
- Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.☆18Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- [ICLR ML4RS 2025] Official implementation for the paper "Tackling Few-Shot Segmentation in Remote Sensing via Inpainting Diffusion Model"☆14Feb 2, 2026Updated 2 months ago
- ☆19Sep 11, 2019Updated 6 years ago
- [IROS 2024] PhysORD: A Neuro-Symbolic Approach for Physics-infused Motion Prediction in Off-road Driving☆22Feb 15, 2026Updated 2 months ago
- The backend and web frontend for the KAR³L flashcard app☆14Sep 28, 2025Updated 7 months ago
- 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
- ☆25Nov 10, 2025Updated 5 months ago
- 海杂波☆13May 27, 2025Updated 11 months ago
- A System for Debloating C/C++ Programs☆32Jul 16, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 3 years ago
- Enhanced CNN-based Small Target Detection in Sea Clutter with Controllable False Alarm☆16Apr 14, 2023Updated 3 years ago
- Accelerating Recommender model training by leveraging popular choices -- VLDB 2022☆31Sep 15, 2024Updated last year
- ☆10Oct 28, 2024Updated last year
- Code for our paper: TransRAD: Retentive Vision Transformer for Enhanced Radar Object Detection☆22Sep 24, 2025Updated 7 months ago
- A catalog of Object Oriented Programming Problems☆26Jul 19, 2020Updated 5 years ago
- ☆12Apr 3, 2024Updated 2 years ago
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆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☆32Apr 20, 2026Updated last 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 3 years ago