TrustAI/Literature-on-DNN-Verification-and-Testing TrustAI/Literature-on-DNN-Verification-and-Testing

  • Stars
    star
    46
  • Rank 613,923 (Top 13 %)
  • Language
    TeX
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TrustAI/Literature-on-DNN-Verification-and-Testing
github

TrustAI

Reviews

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

Repository Details

More Repositories

1

DeepConcolic

Concolic Testing for Deep Neural Networks
Python
117
star
2

DeepGO

Reachability Analysis of Deep Neural Networks with Provable Guarantees
MATLAB
34
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