Alternatives and similar repositories for FOLD-R-PP

Users that are interested in FOLD-R-PP are comparing it to the libraries listed below

• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆223Updated last month
• NeuralNetworkVerification / Marabou
  ☆287Updated last week
• ilaspltd / ILASP-releases
  ☆37Updated 6 months ago
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• stanleybak / nnenum
  Neural Network Enumeration Tool
  ☆34Updated 2 years ago
• ariroffe / logics
  Logics is a Python framework for mathematical logic
  ☆23Updated last week
• stanleybak / vnncomp2022
  ☆17Updated 2 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆22Updated last year
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆27Updated 2 weeks ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 3 weeks ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆86Updated 3 years ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆25Updated this week
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆255Updated 5 months ago
• verivital / nnv
  Neural Network Verification Software Tool
  ☆123Updated last month
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆341Updated 2 months ago
• ejmichaud / neural-verification
  MI and Formal Verification of NNs on Algorithmic tasks!
  ☆19Updated last year
• lab-v2 / pyreason
  An explainable inference software supporting annotated, real valued, graph based and temporal logic
  ☆256Updated 3 weeks ago
• VNN-COMP / vnncomp2023_benchmarks
  Benchmarks for the VNN Comp 2023
  ☆16Updated 11 months ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆47Updated last year
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated 2 months ago
• sisl / NeuralVerification.jl
  Methods to soundly verify deep neural networks
  ☆229Updated 2 weeks ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆56Updated 5 months ago
• VeriFIT / mata
  A fast and simple automata library
  ☆25Updated last week
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆359Updated 2 weeks ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆251Updated 5 months ago
• Verified-Intelligence / alpha-beta-CROWN
  alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
  ☆283Updated 3 months ago
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 4 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆20Updated 6 months ago