scallop-lang / scallop
Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229
☆189Updated last week
Related projects: ⓘ
- An inductive logic programming system☆195Updated last month
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆305Updated 3 months ago
- A scalable abstraction learning library☆70Updated 9 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆72Updated 2 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆184Updated last month
- Python interface for SWI-Prolog☆36Updated last week
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆173Updated this week
- ☆35Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- ☆41Updated last year
- List of papers and other resources at the intersection of Category Theory and NLP.☆46Updated last year
- Interactive neural theorem proving in Lean☆114Updated 2 years ago
- Polynomial-time Meta-Interpretive Learning☆97Updated last month
- Formal to Formal Mathematics Benchmark☆297Updated last year
- An extensible, lightweight relational/logic programming DSL written in pure Python☆173Updated last year
- Tutorial on neural theorem proving☆151Updated 8 months ago
- An environment for learning formal mathematical reasoning from scratch☆48Updated last month
- Scientific computing in Lean 4☆297Updated last week
- Benchmark for undergraduate-level formal mathematics☆88Updated 3 months ago
- ☆61Updated this week
- ☆38Updated last year
- ☆33Updated last year
- Pedagogical first-order prover in Python☆70Updated 2 months ago
- A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic re…☆152Updated 2 years ago
- Deep relational learning through differentiable logic programming.☆98Updated last month
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 3 months ago
- Metagol - an inductive logic programming system☆200Updated 3 years ago
- ☆39Updated 2 weeks ago
- a categorical deep learning compiler☆104Updated 4 months ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆115Updated 10 months ago