☆19Nov 11, 2019Updated 6 years ago
Alternatives and similar repositories for deep-verify
Users that are interested in deep-verify are comparing it to the libraries listed below
Sorting:
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated 3 weeks ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆27Nov 23, 2019Updated 6 years ago
- ☆27Sep 27, 2024Updated last year
- Safety Verification of Deep Neural Networks☆50Feb 5, 2018Updated 8 years ago
- Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTor…☆97Jun 7, 2021Updated 4 years ago
- Neural network verification in JAX☆144Aug 18, 2023Updated 2 years ago
- ☆13Feb 7, 2016Updated 10 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆87Jul 25, 2024Updated last year
- This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715☆161Dec 20, 2019Updated 6 years ago
- Fetch debian packages via GIthub release API☆13Dec 26, 2014Updated 11 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- Fourmolu GitHub Action☆13Oct 25, 2024Updated last year
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- ☆11Sep 1, 2020Updated 5 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- Code for paper Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks☆12Aug 9, 2022Updated 3 years ago
- ☆11Apr 21, 2023Updated 2 years ago
- Investigating and Defending Shortcut Learning in Personalized Diffusion Models☆13Nov 19, 2024Updated last year
- A Rust-based CustomVM for the Avalanche blockchain network☆11Feb 9, 2022Updated 4 years ago
- half-precision floating-point☆17Oct 11, 2025Updated 4 months ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 4 years ago
- ☆12Sep 6, 2017Updated 8 years ago
- Computationally Modelling Resisting Strategies in Persuasive Conversations☆12Feb 6, 2022Updated 4 years ago
- (DEPRECATED, migrated to main repo - hasktorch/hasktorch) Research code generation / FFI binding using libtorch 1.x for the next Hasktor…☆11Sep 13, 2019Updated 6 years ago
- Notebooks for managing NeurIPS 2014 and analysing the NeurIPS experiment.☆13May 22, 2024Updated last year
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last week
- Chess Engine written in Haskell☆15Jul 6, 2018Updated 7 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 8 years ago
- Stable diffusion dedicated Hardware with multiple pipelined processor cores☆14Nov 10, 2024Updated last year
- Official Code for Scaling Adversarial Training to Large Perturbation Bounds (ECCV-2022)☆11Nov 25, 2022Updated 3 years ago
- A fast and efficient way to compute a differentiable bound on the singular values of convolution layers☆12Nov 22, 2019Updated 6 years ago
- HTML to Hamlet converter☆16Oct 1, 2019Updated 6 years ago