Alternatives and similar repositories for proof-sharing:

Users that are interested in proof-sharing are comparing it to the libraries listed below

• caterinaurban / Libra
  ☆25Updated 3 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 11 months ago
• stanleybak / nnenum
  Neural Network Enumeration Tool
  ☆34Updated 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
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated last month
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆59Updated 5 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆23Updated 2 years ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated 2 years ago
• stanleybak / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 3 years ago
• oval-group / oval-bab
  OVAL framework for BaB-based Neural Network Verification
  ☆13Updated last year
• caterinaurban / apronpy
  ☆9Updated last year
• progirep / planet
  PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
  ☆43Updated 6 years ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆56Updated 4 months ago
• Yuanyuan-Yuan / GCert
  Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks
  ☆12Updated last year
• arminbiere / gimsatul
  ☆34Updated 9 months ago
• gavlegoat / charon
  The Charon tool for analyzing neural network robustness
  ☆14Updated 5 years ago
• microsoft / loop-invariant-gen-experiments
  Loop invariant generation with LLMs
  ☆21Updated 2 months ago
• agurfinkel / spacer-on-jupyter
  ☆17Updated 2 years ago
• zhoulaifu / xsat
  A Fast Floating-Point Satisfiability Solver
  ☆28Updated 6 years ago
• jyao15 / G-CLN
  ☆12Updated 2 years ago
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 2 years ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆94Updated 4 years ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆46Updated 11 months ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆27Updated last week
• Laakeri / sharpsat-td
  Entry to model counting competition 2021.
  ☆20Updated 10 months ago
• jar-ben / mustool
  ☆15Updated last year
• eth-sri / ELINA
  ELINA: ETH LIbrary for Numerical Analysis
  ☆131Updated 2 years ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆25Updated 2 weeks ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆86Updated 3 years ago