Alternatives and similar repositories for Dolphin

Users that are interested in Dolphin are comparing it to the libraries listed below

• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆28Updated this week
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆283Updated last year
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆428Updated 7 months ago
• ejmichaud / neural-verification
  MI and Formal Verification of NNs on Algorithmic tasks!
  ☆18Updated last year
• tommasocarraro / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆139Updated last year
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆248Updated 2 months ago
• vaynexie / CausalX-ViT
  ☆17Updated 2 years ago
• nuric / pix2rule
  From pixels to symbolic rule learning
  ☆12Updated 4 years ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆385Updated 2 months ago
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆83Updated 3 months ago
• justinkay / aldi
  Align and Distill: Unifying and Improving Domain Adaptive Object Detection (TMLR Featured 2025)
  ☆73Updated 6 months ago
• awaisrauf / agroGPT
  ☆36Updated 11 months ago
• neuroexplicit-saar / Discover-then-Name
  Code for the paper: Discover-then-Name: Task-Agnostic Concept Bottlenecks via Automated Concept Discovery. ECCV 2024.
  ☆52Updated last year
• EGiunchiglia / ROAD-R
  Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''
  ☆16Updated last year
• ML-KULeuven / deepstochlog
  ☆38Updated last year
• GiovanniPasq / DA-Faster-RCNN
  Detectron2 implementation of DA-Faster R-CNN, Domain Adaptive Faster R-CNN for Object Detection in the Wild, Computer Vision and Pattern …
  ☆61Updated this week
• JasonGross / guarantees-based-mechanistic-interpretability
  ☆17Updated 2 weeks ago
• KathPra / DCBM
  Official repo for ICML25 paper: DCBM: Data-Efficient Visual Concept Bottleneck Models
  ☆24Updated 3 months ago
• tmlabonte / weakly-supervised-DETR
  Official codebase for the WACV 2023 paper: Scaling Novel Object Detection with Weakly Supervised Detection Transformers. https://arxiv.or…
  ☆12Updated last year
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆93Updated 3 years ago
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆726Updated last week
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆211Updated 6 months ago
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆109Updated 3 months ago
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆186Updated last week
• ml-research / pix2code
  The Pix2Code framework: generalizable, interpretable and revisable visual concept learning
  ☆14Updated 2 months ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆272Updated last year
• ccclyu / awesome-deeplogic
  A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
  ☆287Updated last year
• womanreading7 / PhD-Application-Guide
  ☆128Updated 2 years ago
• maxdreyer / L-CRP
  Concept Relevance Propagation for Localization Models, accepted at SAIAD workshop at CVPR 2023.
  ☆15Updated last year