Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.
☆19Mar 18, 2026Updated 4 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:
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated 9 months ago
- Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.☆18Jun 18, 2026Updated last month
- Neurosymbolic Library☆29Jun 1, 2026Updated last month
- ☆11Oct 26, 2022Updated 3 years ago
- ☆20Sep 11, 2019Updated 6 years ago
- 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.
- Reversal Curse Experiment☆15Sep 24, 2023Updated 2 years ago
- An organic life particle system☆23Jun 22, 2025Updated last year
- larc solving with gpt4☆20May 25, 2023Updated 3 years ago
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆29Feb 10, 2025Updated last year
- This is the official code for "Enhancing Perception of Key Changes in Remote Sensing Image Change Captioning"☆25Apr 2, 2026Updated 3 months ago
- Benchmark scripts for comparing different tokenizers and sentence segmenters of German☆12Feb 27, 2023Updated 3 years ago
- ☆13Apr 3, 2024Updated 2 years ago
- Enhanced Unsupervised Object Discoveries through Exhaustive Self-Supervised Transformers☆15Jun 25, 2024Updated 2 years ago
- ☆18Sep 19, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- Rust agent orchestration library for tool-using, long-horizon, traceable AI systems.☆15Updated this week
- ☆15Sep 28, 2023Updated 2 years ago
- Deep learning-based estimates of global migration patterns☆18Apr 13, 2026Updated 3 months ago
- [NeurIPS 2025 Spotlight] "Stochastic Process Learning via Operator Flow Matching"☆23Apr 26, 2026Updated 2 months ago
- Run parallel OpenAI Codex CLI agents in tmux with automatic permission approval. Auto-approves command execution, file edit, network acce…☆16Jul 10, 2026Updated last week
- MemoHarness: Agent Harnesses That Learn from Experience☆43Updated this week
- ☆20Nov 10, 2022Updated 3 years ago
- Programmatically Interpretable Reinforcement Learning☆22May 20, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The first large-scale dual-view X-ray baggage dataset☆21May 12, 2024Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆25Jan 27, 2025Updated last year
- Detectron2 Toolbox and Benchmark for V3Det☆18Jun 2, 2024Updated 2 years ago
- AN INTERACTIVE REMOTE SENSING CHANGE ANALYSIS MODEL BASED ON MULTIMODAL INSTRUCTION TUNING☆24Jun 16, 2025Updated last year
- Official repository for the ICCV2023 paper SAFE: Sensitivity-Aware Features for Out-of-Distribution Object Detection☆14Jul 28, 2024Updated last year
- Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming☆17Mar 26, 2026Updated 3 months ago
- ☆13Oct 8, 2020Updated 5 years ago
- Active Test-Time Adaptation: Theoretical Analyses and An Algorithm [ICLR 2024]☆27Nov 4, 2024Updated last year
- A proof‑of‑concept fintech application showcasing core product functionalities such as user onboarding, account management, transaction p…☆16May 28, 2023Updated 3 years ago
- 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.
- ☆16Aug 22, 2023Updated 2 years ago
- A high-efficiency text embedding and reranking model based on RWKV architecture.☆19Jan 10, 2026Updated 6 months ago
- Neural theorem proving tutorial, version II☆39Apr 26, 2024Updated 2 years ago
- My personal user config for AstroNvim☆87May 29, 2025Updated last year
- Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, …☆29Jul 13, 2026Updated last week
- Self-Expanding Neural Networks☆44Feb 9, 2024Updated 2 years ago
- ☆15Apr 2, 2022Updated 4 years ago