scallop-lang / scallopLinks
Framework and Language for Neurosymbolic Programming.
☆428Updated 7 months ago
Alternatives and similar repositories for scallop
Users that are interested in scallop are comparing it to the libraries listed below
Sorting:
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆385Updated 2 months ago
- An inductive logic programming system☆247Updated 2 months ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆311Updated last month
- a categorical deep learning compiler☆205Updated 2 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆80Updated 6 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆282Updated last year
- A scalable abstraction learning library☆83Updated 3 months ago
- Polynomial-time Meta-Interpretive Learning☆131Updated 10 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Python interface for SWI-Prolog☆49Updated last week
- LLM verified with Monte Carlo Tree Search☆284Updated 8 months ago
- Neurosymbolic Library☆28Updated last month
- Metagol - an inductive logic programming system☆206Updated 4 years ago
- Datalog with support for SMT queries and first-order functional programming☆165Updated 3 weeks ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆232Updated 3 months ago
- Differentiable probabilistic answer set programming☆27Updated 5 months ago
- egraphs + datalog!☆652Updated this week
- ☆87Updated last year
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆303Updated this week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- A Low Barrier Proof Assistant☆144Updated last week
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆296Updated this week
- Diffusion on syntax trees for program synthesis☆478Updated last year
- Temporary repository for Kind2's refactor based on HVM2☆281Updated last year
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆48Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 4 months ago
- ☆38Updated 7 months ago
- ☆39Updated last year
- Efficient and general syntactical decoding for Large Language Models☆307Updated 2 weeks ago
- ☆38Updated last year