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
  ☆37Updated 5 months ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆56Updated 4 months ago
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆349Updated 3 months ago
• NeuralNetworkVerification / Marabou
  ☆284Updated 2 weeks ago
• stanleybak / nnenum
  Neural Network Enumeration Tool
  ☆34Updated 2 years ago
• verivital / nnv
  Neural Network Verification Software Tool
  ☆122Updated last week
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆221Updated 3 weeks ago
• sisl / NeuralVerification.jl
  Methods to soundly verify deep neural networks
  ☆229Updated last year
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 4 years ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆339Updated last month
• progirep / planet
  PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
  ☆43Updated 6 years ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆86Updated 3 years ago
• ejmichaud / neural-verification
  MI and Formal Verification of NNs on Algorithmic tasks!
  ☆17Updated last year
• diprism / perpl
  The PERPL Compiler
  ☆13Updated last month
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• asolarlez / sketch-frontend
  ☆35Updated 3 weeks 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 last month
• edwardxu0 / GDVB
  GDVB| Systematic Generation of Diverse Benchmarks for DNN Verification
  ☆9Updated 10 months ago
• VeriDeep / DLV
  Safety Verification of Deep Neural Networks
  ☆50Updated 7 years ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated 3 weeks ago
• StephenMuggleton / DeepLog
  Code and Data for DeepLog system
  ☆19Updated 2 years ago
• stanleybak / vnncomp2022
  ☆17Updated 2 years ago
• socialfoundations / folktables
  Datasets derived from US census data
  ☆258Updated 11 months ago
• ebmoon / transformers-GAD
  [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution
  ☆16Updated 2 months ago
• spike-imperial / FastLAS
  ☆19Updated 2 months ago
• stanleybak / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 3 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆46Updated last week
• CSGuides / grad-job-guide
  CS Graduate Job Guide
  ☆32Updated 5 months ago
• laudv / veritas
  Versatile Verification of Tree Ensembles
  ☆17Updated 10 months ago
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆71Updated last year