Pinned Repositories
AdversarialDriving
Falsification Tool for Assessing Robustness of End-to-End Autonomous Driving Systems
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
DeepSAVA
DeepSAVA: Sparse Adversarial Video Attacks with Spatial Transformations - BMVC 2021 & Neural Networks (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
testRNN
Coverage-Guided Testing of Long Short-Term Memory (LSTM) Networks
TrustAI's Repositories
TrustAI/DeepConcolic
Concolic Testing for Deep Neural Networks
TrustAI/DeepGame
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
TrustAI/testRNN
Coverage-Guided Testing of Long Short-Term Memory (LSTM) Networks
TrustAI/DeepSAVA
DeepSAVA: Sparse Adversarial Video Attacks with Spatial Transformations - BMVC 2021 & Neural Networks (2023)
TrustAI/GUAP
Generalizing Universal Adversarial Attacks Beyond Additive Perturbations - ICDM 2020 & Machine Learning Journal (2023)
TrustAI/AdversarialDriving
Falsification Tool for Assessing Robustness of End-to-End Autonomous Driving Systems
TrustAI/GeoRobust
Towards Verifying the Geometric Robustness of Large-scale Neural Networks - AAAI 2023
TrustAI/FAAL
Towards Fairness-Aware Adversarial Learning - CVPR 2024
TrustAI/DIMBA
DIMBA: Discretely Masked Black-Box Attack in Single Object Tracking - Machine Learning Journal (2022)
TrustAI/ODE4RobustViT
Understanding Adversarial Robustness of Vision Transformers via Cauchy Problem - ECML 2022 & Software Impacts (2023)
TrustAI/DeepNNC
Reachability Analysis of Neural Network Control Systems - AAAI 2023
TrustAI/CertifyCMARL
Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning - AAAI 2023
TrustAI/DEAT
Dynamic Efficient Adversarial Training Guided by Gradient Magnitude - TEA@NeurIPS 2022
TrustAI/DeepQuant
Quantifying the Robustness of Deep Neural Networks - Complex & Intelligent Systems
TrustAI/LOAT
Boosting Adversarial Training via Fisher-Rao Norm-based Regularization - CVPR 2024
TrustAI/NRAT
NRAT: Towards Adversarial Training with Inherent Label Noise - Machine Learning Journal (2023)
TrustAI/TextVerifer
Towards Local Robustness Verification for Textual Classifiers with Certifiable Guarantees in Hamming Space - ACL 2023
TrustAI/PRoA
PRoA: A Probabilistic Robustness Assessment against Functional Perturbations - ECML 2022
TrustAI/DeepTRE
DeepTRE (Tensor-based Robustness Evaluation of DNNs for the Hamming Distance) - IJCAI 2019
TrustAI/SEAT
SEAT: Self-adaptive Adversarial Training for Robust Medical Segmentation - MICCAI 2023
TrustAI/SORA
SORA: Scalable Black-box Reachability Analyser on Neural Networks - ICASSP 2023
TrustAI/3DVerifier
3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models - Machine Learning Journal (2022)
TrustAI/AdversarialDetection
Falsification Tool for Assessing Robustness of End-to-End Object Detection Systems
TrustAI/CROWD
CROWD: Certified Robustness via Weight Distribution for Smoothed Classifiers against Backdoor Attack
TrustAI/DeepGRE
DeepGRE: Global Robustness Evaluation of Deep Neural Networks - ICASSP 2024
TrustAI/ReCePS
ReCePS: Reward Certification for Policy Smoothed Reinforcement Learning - AAAI 2024
TrustAI/ReRoGCRL
ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning - AAAI 2024
TrustAI/TARP-VP
TARP-VP: Towards Evaluation of Transferred Adversarial Robustness and Privacy on Label Mapping Visual Prompting Models
TrustAI/tutorial
IJCAI Tutorial on Adversarial Robustness of Deep Learning - IJCAI 2021
TrustAI/wami-detector-verification
Reliability Validation of a Learning-Enabled System -- WAMI Tracking