TrustAI/DeepGO TrustAI/DeepGO

  • Stars
    star
    34
  • Rank 766,985 (Top 16 %)
  • Language
    MATLAB
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TrustAI/DeepGO
github

TrustAI

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Reachability Analysis of Deep Neural Networks with Provable Guarantees

More Repositories

1

DeepConcolic

Concolic Testing for Deep Neural Networks
Python
117
star
2

Literature-on-DNN-Verification-and-Testing

TeX
46
star
3

DeepGame

A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
Python
19
star
4

DeepCover

Testing Deep Neural Networks
Python
15
star
5

DeepSAVA

DeepSAVA: Sparse Adversarial Video Attacks with Spatial Transformations - BMVC 2021 & Neural Networks (2023)
Python
9
star
6

AdversarialDriving

Falsification Tool for Assessing Robustness of End-to-End Autonomous Driving Systems
Python
7
star
7

ODE4RobustViT

Understanding Adversarial Robustness of Vision Transformers via Cauchy Problem - ECML 2022 & Software Impacts (2023)
Python
5
star
8

GeoRobust

Towards Verifying the Geometric Robustness of Large-scale Neural Networks - AAAI 2023
Python
5
star
9

DeepNNC

Reachability Analysis of Neural Network Control Systems - AAAI 2023
4
star
10

DIMBA

DIMBA: Discretely Masked Black-Box Attack in Single Object Tracking - Machine Learning Journal (2022)
Python
4
star
11

FAAL

Towards Fairness-Aware Adversarial Learning - CVPR 2024
3
star
12

SCALA

An Efficient Word-level Black-box Adversarial Attack Against Textual Models - IJCNN'23
3
star
13

CertifyCMARL

Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning - AAAI 2023
Python
2
star
14

DeepQuant

Quantifying the Robustness of Deep Neural Networks - Complex & Intelligent Systems
MATLAB
2
star
15

DEAT

Dynamic Efficient Adversarial Training Guided by Gradient Magnitude - TEA@NeurIPS 2022
Python
2
star
16

TextVerifer

Towards Local Robustness Verification for Textual Classifiers with Certifiable Guarantees in Hamming Space - ACL 2023
2
star
17

NRAT

NRAT: Towards Adversarial Training with Inherent Label Noise - Machine Learning Journal (2023)
Python
1
star