Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.
☆21Mar 18, 2026Updated 7 months ago
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.☆12May 1, 2024Updated 2 years ago
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated last year
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.☆20Oct 22, 2026Updated last week
- A powerful relational representation of source code☆33Sep 5, 2023Updated 3 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.
- ☆20Sep 11, 2019Updated 7 years ago
- CIS 7000-01 Fall 2025 Course materials☆17Jan 20, 2026Updated 9 months ago
- ☆37Nov 26, 2025Updated 11 months ago
- FANC is a tool for the proof transfer of incomplete verification☆13Aug 20, 2026Updated 2 months ago
- ☆21Apr 3, 2023Updated 3 years ago
- A Programmable Harness Calculus☆24Oct 15, 2026Updated 2 weeks ago
- A manually vetted dataset for security vulnerability detection in Java projects☆118Aug 12, 2025Updated last year
- Library implementation of DreamCoder as adapted for LAPS.☆13Jun 9, 2023Updated 3 years ago
- This is the official code implementation of Bongard-OpenWorld (ICLR 2024).☆14Jan 6, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A neurosymbolic framework for vulnerability detection in code☆445Jul 2, 2026Updated 3 months ago
- [ICCV] NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning☆31May 30, 2026Updated 4 months ago
- ☆22Sep 20, 2023Updated 3 years ago
- ☆11Oct 26, 2022Updated 4 years ago
- Reversal Curse Experiment☆15Sep 24, 2023Updated 3 years ago
- An organic life particle system☆24Jun 22, 2025Updated last year
- ☆11Mar 8, 2025Updated last year
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Mar 13, 2023Updated 3 years ago
- Framework and Language for Neurosymbolic Programming.☆522Jun 26, 2026Updated 4 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Accelerating Recommender model training by leveraging popular choices -- VLDB 2022☆30Sep 15, 2024Updated 2 years ago
- Repository for Vision-Language Programs, a neuro-symbolic framework combining VLMs with program synthesis.☆13Mar 22, 2026Updated 7 months ago
- ☆12Mar 19, 2025Updated last year
- Large Language Models Simply Achieve Explainable and Training-Free One-shot HRRP ATR 🐑☆14Sep 4, 2026Updated last month
- ☆10Oct 28, 2024Updated 2 years ago
- PPL サマースクール 2025 の資料置き場です。☆16Sep 2, 2025Updated last year
- A terminal-first approach to CodeQL multi-repo variant analysis☆19Sep 30, 2026Updated 3 weeks ago
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆29Feb 10, 2025Updated last year
- Scalable training and inference for Probabilistic Circuits☆107Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Benchmark scripts for comparing different tokenizers and sentence segmenters of German☆12Feb 27, 2023Updated 3 years ago
- [NeurIPS24] VisMin: Visual Minimal-Change Understanding☆20Mar 3, 2025Updated last year
- مكتبة لاكتشاف آيات القرآن الكريم ومقاطع الآيات داخل النصوص العربية☆11Dec 24, 2025Updated 10 months ago
- Official github page for the paper "Evaluating Deep Unlearning in Large Language Model"☆14Apr 25, 2025Updated last year
- ☆18May 7, 2026Updated 5 months ago
- ☆14Mar 31, 2025Updated last year
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 6 months ago