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 2 months ago
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆227Updated 2 weeks ago
• stanleybak / nnenum
  Neural Network Enumeration Tool
  ☆34Updated last year
• asolarlez / sketch-frontend
  ☆34Updated 3 months ago
• CSGuides / grad-job-guide
  CS Graduate Job Guide
  ☆33Updated 2 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆212Updated 2 weeks ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆21Updated 8 months ago
• sisl / NeuralVerification.jl
  Methods to soundly verify deep neural networks
  ☆228Updated last year
• NeuralNetworkVerification / Marabou
  ☆269Updated last month
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆79Updated 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 last month
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆25Updated 2 months ago
• asolarlez / sketch-backend
  ☆39Updated 3 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆82Updated last year
• ML-KULeuven / deepstochlog
  ☆26Updated 11 months ago
• progirep / planet
  PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
  ☆43Updated 5 years ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated last week
• laudv / veritas
  Versatile Verification of Tree Ensembles
  ☆17Updated 7 months ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• vas-group-imperial / venus
  Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check…
  ☆14Updated 2 years ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆56Updated last month
• crillab / metrics
  mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
  ☆11Updated last month
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆238Updated last month
• ztangent / Julog.jl
  A Julia package for Prolog-style logic programming.
  ☆172Updated last year
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆23Updated 3 years ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆18Updated 2 months ago
• stanleybak / vnncomp2022
  ☆17Updated 2 years ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated 3 months ago
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆57Updated 4 years ago