CAV'22 paper to speed up Neural Network Verification.
☆13Dec 19, 2022Updated 3 years ago
Alternatives and similar repositories for proof-sharing
Users that are interested in proof-sharing are comparing it to the libraries listed below
Sorting:
- OVAL framework for BaB-based Neural Network Verification☆17Dec 18, 2025Updated 2 months ago
- PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool☆43Feb 5, 2019Updated 7 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated 5 months ago
- 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…☆15Aug 31, 2022Updated 3 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Jun 30, 2022Updated 3 years ago
- A program logic for concurrent randomized programs☆14Nov 9, 2018Updated 7 years ago
- Neural Network Enumeration Tool☆34Jan 8, 2026Updated last month
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- ☆20May 30, 2024Updated last year
- Verifier for pseudo-Boolean proofs☆15Oct 6, 2022Updated 3 years ago
- Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"☆17Jan 27, 2023Updated 3 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Feb 8, 2026Updated 3 weeks ago
- Proof-of-concept formal verification using Hoare logic☆21Feb 29, 2020Updated 6 years ago
- DPLL(T)-based Verification tool for DNNs☆30Updated this week
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 2 years ago
- This repository is a paper digest of DNN-based approaches in data compression tasks.☆27Dec 20, 2023Updated 2 years ago
- Fair Generative Modeling via Weak Supervision☆21Nov 22, 2022Updated 3 years ago
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆29Jun 30, 2025Updated 8 months ago
- [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"☆27Dec 10, 2023Updated 2 years ago
- ☆312Nov 2, 2025Updated 3 months ago
- ☆24Oct 31, 2021Updated 4 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Apr 9, 2023Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Nov 20, 2023Updated 2 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- Code for the ICLR 2022 paper "Attention-based interpretability with Concept Transformers"☆42Sep 17, 2025Updated 5 months ago
- ☆12Jun 18, 2024Updated last year
- CoCoFL: Communication- and Computation-Aware Federated Learning via Partial NN Freezing and Quantization☆13Aug 3, 2024Updated last year
- pFedDef: Defending Grey-Box Attacks for Personalized Federated Learning☆10May 31, 2023Updated 2 years ago
- (NeurIPS 2024) One-shot Federated Learning via Synthetic Distiller-Distillate Communication☆13Mar 11, 2025Updated 11 months ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- Translate a subset of C to Verilog☆11May 8, 2019Updated 6 years ago
- This is the official implementation of the AEFusion model proposed in the paper （AEFusion: A multi-scale fusion network combining Axial a…☆12Jun 12, 2023Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Team FDVTS_DR's solutions for MICCAI2022 Diabetic Retinopathy Analysis Challenge (DRAC)☆14Mar 5, 2024Updated last year
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago