trustai Goto Github PK

3dverifier

3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models - Machine Learning Journal (2022)

adversarialdetection

Falsification Tool for Assessing Robustness of End-to-End Object Detection Systems

adversarialdriving

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

certifycmarl

Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning - AAAI 2023

deat

Dynamic Efficient Adversarial Training Guided by Gradient Magnitude - TEA@NeurIPS 2022

deepconcolic

Concolic Testing for Deep Neural Networks

deepcover

Testing Deep Neural Networks

deepgame

A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

deepgo

Reachability Analysis of Deep Neural Networks with Provable Guarantees

deepgre

DeepGRE: Global Robustness Evaluation of Deep Neural Networks - ICASSP 2024

deepnnc

Reachability Analysis of Neural Network Control Systems - AAAI 2023

deepquant

Quantifying the Robustness of Deep Neural Networks - Complex & Intelligent Systems

deepsava

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

deeptre

DeepTRE (Tensor-based Robustness Evaluation of DNNs for the Hamming Distance) - IJCAI 2019

dimba

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

dlv

Safety Verification of Deep Neural Networks

faal

Towards Fairness-Aware Adversarial Learning - CVPR 2024

georobust

Towards Verifying the Geometric Robustness of Large-scale Neural Networks - AAAI 2023

guap

Generalizing Universal Adversarial Attacks Beyond Additive Perturbations - ICDM 2020 & Machine Learning Journal (2023)

l0-tre

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm

literature-on-dnn-verification-and-testing

nrat

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

ode4robustvit

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

proa

PRoA: A Probabilistic Robustness Assessment against Functional Perturbations - ECML 2022

rerogcrl

ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning - AAAI 2024

seat

SEAT: Self-adaptive Adversarial Training for Robust Medical Segmentation - MICCAI 2023

sora

SORA: Scalable Black-box Reachability Analyser on Neural Networks - ICASSP 2023

testrnn

Coverage-Guided Testing of Long Short-Term Memory (LSTM) Networks

textverifer

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

tutorial

IJCAI Tutorial on Adversarial Robustness of Deep Learning - IJCAI 2021