Awesome Open Source

Programming Languages

Search results for robustness verification

robustness-verification x

11 search results found

Auto_lirpa ⭐ 265

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

Alpha Beta Crown ⭐ 205

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)

Neural Network Verification Software Tool

Crown Ibp ⭐ 64

Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).

Nfl_veripy ⭐ 63

Formal Verification of Neural Feedback Loops (NFLs)

Beta Crown ⭐ 23

β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification

Robustness Verification For Transformers ⭐ 23

[ICLR 2020] Code for paper "Robustness Verification for Transformers"

Semantic Randomized Smoothing ⭐ 20

[CCS 2021] TSS: Transformation-specific smoothing for robustness certification

Robustarchitecturesearch ⭐ 18

This github repository contains the official code for the paper, "Evolving Robust Neural Architectures to Defend from Adversarial Attacks"

Treeverification ⭐ 13

[NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contribution)

Gcp Crown ⭐ 8

The official repo for GCP-CROWN paper

Related Searches

Adversarial Machine Learning Robustness Verification (8)

Python Robustness Verification (7)

Neural Network Robustness Verification (5)

Adversarial Examples Robustness Verification (4)

Adversarial Attacks Robustness Verification (4)

Adversarial Defense Robustness Verification (3)

Deep Learning Robustness Verification (3)

1-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.