Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.
☆21Mar 18, 2026Updated 6 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:
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated 2 years ago
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated last year
- Neurosymbolic Library☆30Aug 19, 2026Updated last month
- ☆22Sep 20, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- larc solving with gpt4☆20May 25, 2023Updated 3 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Mar 13, 2023Updated 3 years ago
- Scalable training and inference for Probabilistic Circuits☆107Updated this week
- [NeurIPS24] VisMin: Visual Minimal-Change Understanding☆20Mar 3, 2025Updated last year
- ☆10Oct 28, 2024Updated last year
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆28Feb 10, 2025Updated last year
- ☆13Apr 3, 2024Updated 2 years ago
- Enhanced Unsupervised Object Discoveries through Exhaustive Self-Supervised Transformers☆16Jun 25, 2024Updated 2 years ago
- ☆18Sep 19, 2024Updated 2 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.
- Streamlit app that allows users to search for similar artworks based on an uploaded image or a text description☆13Jun 20, 2024Updated 2 years ago
- ☆20Nov 10, 2022Updated 3 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- [CVPR 2025] Simple Supervised and Semi-Supervised Long-Tailed Object Detection☆16Oct 28, 2025Updated 11 months ago
- unofficial implementation of MUVERA: Multi-Vector Retrieval via Fixed Dimensional Encodings☆15Feb 18, 2026Updated 7 months ago
- This is the official code for "Enhancing Perception of Key Changes in Remote Sensing Image Change Captioning"☆26Apr 2, 2026Updated 6 months ago
- Official Inspect Implementation for "ImpossibleBench: Measuring LLMs' Propensity of Exploiting Test Cases"☆63Dec 1, 2025Updated 10 months ago
- ☆12Nov 8, 2020Updated 5 years ago
- (Mirror) A Music formalization library and DSL in Lean 4☆23Aug 25, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Neuroevolution Community☆17Nov 17, 2025Updated 10 months ago
- ☆17Apr 10, 2022Updated 4 years ago
- Continual RL with wold models (Collas 2023)☆25Dec 10, 2023Updated 2 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- A novel hybrid AI architecture leveraging Titan's-like memory and HRM-like reasoning☆27Aug 28, 2026Updated last month
- Classical Arabic Named Entity Recognition Corpus☆21Aug 26, 2022Updated 4 years ago
- A proof‑of‑concept fintech application showcasing core product functionalities such as user onboarding, account management, transaction p…☆16May 28, 2023Updated 3 years ago
- When Pixel Difference Patterns Meet ViT: PiDiViT for Few-Shot Object Detection☆19Nov 3, 2025Updated 11 months ago
- Neural theorem proving tutorial, version II☆39Apr 26, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Framework and Language for Neurosymbolic Programming.☆518Jun 26, 2026Updated 3 months ago
- Towards an implementation of hierarchical temporal memory and the cortical learning algorithm by Jeff Hawkins and Dileep George of Nument…☆12Mar 15, 2017Updated 9 years ago
- Self-Expanding Neural Networks☆44Feb 9, 2024Updated 2 years ago
- ☆15Apr 2, 2022Updated 4 years ago
- # A simple variable binding library based on well-scoped indices and environments☆40Aug 31, 2026Updated last month
- Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, …☆45Aug 30, 2026Updated last month
- Codebase for Neuro-Symbolic Continual Learning.☆26Aug 21, 2023Updated 3 years ago