prismplp / prismLinks
probabilistic logic programming language for statistical modeling
☆37Updated 3 months ago
Alternatives and similar repositories for prism
Users that are interested in prism are comparing it to the libraries listed below
Sorting:
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Bonn Lean course for winter 24/25☆36Updated 3 weeks ago
- Top-down interpreter for ASP programs with Constraints☆33Updated 2 months ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 4 years ago
- deep learning for math☆29Updated 6 years ago
- Pedagogical first-order prover in Python☆76Updated 3 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆53Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆27Updated last year
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 6 months ago
- Development of the CafeOBJ interpreter☆36Updated 10 months ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆25Updated last week
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated last week
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- A cyclic theorem prover framework.☆32Updated last month
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 10 months ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- ☆50Updated 3 years ago
- A Learning Environment for Theorem Proving☆75Updated 3 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- cplint is a suite of programs for reasoning with probabilistic logic programs☆78Updated 2 weeks ago
- Jupyter kernel for Coq☆95Updated last year
- Port of Aleph to SWI-Prolog☆50Updated last year
- tools for the book "Concepts of Programming Languages"☆20Updated 4 years ago
- Code samples for Lean 4☆77Updated last year
- 数学系のためのLean勉強会☆85Updated 3 weeks ago
- Collection of Automated Reasoners☆32Updated last month