ZhaoyangLyu / FROWNView external linksLinks
Fastened CROWN: Tightened Neural Network Robustness Certificates
☆10Feb 10, 2020Updated 6 years ago
Alternatives and similar repositories for FROWN
Users that are interested in FROWN are comparing it to the libraries listed below
Sorting:
- CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://git…☆17Nov 29, 2018Updated 7 years ago
- An Algorithm to Quantify Robustness of Recurrent Neural Networks☆49Apr 24, 2020Updated 5 years ago
- Benchmarks for the VNN Comp 2023☆16Jun 7, 2024Updated last year
- ☆17Jun 26, 2021Updated 4 years ago
- Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://g…☆30Nov 1, 2019Updated 6 years ago
- The official repo for GCP-CROWN paper☆13Sep 26, 2022Updated 3 years ago
- Codes for reproducing the experimental results in "CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Net…☆27Jun 23, 2021Updated 4 years ago
- Library for training globally-robust neural networks.☆31Aug 7, 2025Updated 6 months ago
- Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTor…☆98Jun 7, 2021Updated 4 years ago
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆27Nov 23, 2019Updated 6 years ago
- The latest source code of the tool Flow*☆28Jan 15, 2023Updated 3 years ago
- ☆10Mar 24, 2025Updated 10 months ago
- ☆12Jun 18, 2024Updated last year
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- CROWN: A Neural Network Verification Framework for Networks with General Activation Functions☆39Dec 13, 2018Updated 7 years ago
- Geometric Certifications of Neural Nets☆42Nov 22, 2022Updated 3 years ago
- A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]☆10Sep 3, 2019Updated 6 years ago
- official implementation of Training-free Boost for Open-Vocabulary Object Detection with Confidence Aggregation☆13Apr 15, 2024Updated last year
- The official implementation of paper "Drop-Activation: Implicit Parameter Reduction and Harmonious Regularization".☆10May 30, 2019Updated 6 years ago
- PyTorch implementation of the SIESTA algorithm from our TMLR-2023 paper "SIESTA: Efficient Online Continual Learning with Sleep"☆13Oct 25, 2024Updated last year
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- An example of how the LIME algorithm can be used to provide real-world insight into the decision processes of a 'black-box' machine learn…☆15Feb 19, 2019Updated 6 years ago
- CAPD library☆16Jan 4, 2026Updated last month
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- [CIKM-21] Pytorch implementation of LiteGT: Efficient and Lightweight Graph Transformers☆12Nov 16, 2021Updated 4 years ago
- Integration examples and utilities for VOT toolkit☆10Apr 18, 2025Updated 9 months ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Adversarial learning by utilizing model interpretation☆10Oct 19, 2018Updated 7 years ago
- Jax implementation of VIT-VQGAN☆10Jan 25, 2024Updated 2 years ago
- This repository contains the official code for "Flexible Biometrics Recognition: Bridging the Multimodality Gap through Attention, Alignm…☆12Oct 9, 2024Updated last year
- A Nonlocal Feature-Driven Exemplar-Based Approach For Image Inpainting☆10Dec 9, 2020Updated 5 years ago
- Code of On L-p Robustness of Decision Stumps and Trees, ICML 2020☆10Aug 3, 2020Updated 5 years ago
- TorchONNX is a tool to convert an ONNX model to a pytorch model.☆28Jan 3, 2026Updated last month
- Self-Distribution BNN☆10Mar 8, 2022Updated 3 years ago
- ☆11Jun 2, 2021Updated 4 years ago
- The Structure and Interpretation of Deep Networks Handbook☆14Dec 14, 2024Updated last year
- GPU methods for alpha matting, including cutting edge research algorithms by Philip G. Lee.☆12Jan 8, 2014Updated 12 years ago
- An Efficient Dataset Condensation Plugin and Its Application to Continual Learning. NeurIPS, 2023.☆12Nov 29, 2023Updated 2 years ago