Alternatives and similar repositories for FOLD-R-PP

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

• ilaspltd / ILASP-releases
  ☆39Updated last year
• NeuralNetworkVerification / Marabou
  ☆309Updated 3 months ago
• stanleybak / nnenum
  Neural Network Enumeration Tool
  ☆34Updated 3 weeks ago
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 5 years ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆57Updated last year
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆263Updated this week
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆442Updated 9 months ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆393Updated 4 months ago
• verivital / nnv
  Neural Network Verification Software Tool
  ☆137Updated 2 weeks ago
• asolarlez / sketch-frontend
  ☆39Updated 2 weeks ago
• VNN-COMP / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 4 years ago
• asolarlez / sketch-backend
  ☆46Updated 2 weeks ago
• DDiekmann / Applied-Verification-Lab-Neural-Networks
  Some tutorials for different approaches to verify neural networks.
  ☆12Updated 3 years ago
• sisl / NNet
  Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-c…
  ☆40Updated 10 months ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆28Updated this week
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated last week
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆86Updated 10 months ago
• difflog-project / datalog-bench
  Benchmark Suite for Interpretable Rule Learning
  ☆12Updated 5 years ago
• CSGuides / grad-job-guide
  CS Graduate Job Guide
  ☆33Updated last year
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆77Updated last year
• automatarium / automatarium
  A place for automata
  ☆80Updated 2 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, 2024, 2025)
  ☆344Updated 3 weeks ago
• sisl / NeuralVerification.jl
  Methods to soundly verify deep neural networks
  ☆235Updated 9 months ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆27Updated 4 years ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆29Updated 5 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆330Updated last year
• EGiunchiglia / ROAD-R
  Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''
  ☆16Updated 2 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆20Updated 3 years ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆31Updated 2 months ago
• VNN-COMP / vnncomp2022
  ☆17Updated 3 years ago