Alternatives and similar repositories for awesome-ai-testing

Users that are interested in awesome-ai-testing are comparing it to the libraries listed below

• PurduePAML / Machine-Learning-Security-Seminar
  Machine Learning & Security Seminar @Purdue University
  ☆25Updated 2 years ago
• eth-sri / sven
  ☆114Updated 10 months ago
• Testing4AI / RobOT
  Code release for RobOT (ICSE'21)
  ☆15Updated 2 years ago
• AI-secure / Certified-Robustness-SoK-Oldver
  This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on …
  ☆99Updated 2 years ago
• surrealyz / verified-global-properties
  Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf
  ☆28Updated 3 years ago
• AI-secure / Meta-Nerual-Trojan-Detection
  ☆66Updated 4 years ago
• ALFA-group / adversarial-code-generation
  [ICLR 2021] "Generating Adversarial Computer Programs using Optimized Obfuscations" by Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shi…
  ☆30Updated 3 years ago
• reddy-lab-code-research / CodeAttack
  Code for the AAAI 2023 paper "CodeAttack: Code-based Adversarial Attacks for Pre-Trained Programming Language Models
  ☆30Updated 2 years ago
• IBM / URET
  Universal Robustness Evaluation Toolkit (for Evasion)
  ☆31Updated 3 weeks ago
• Testing4AI / DeepJudge
  Code release for DeepJudge (S&P'22)
  ☆51Updated 2 years ago
• AI-secure / VeriGauge
  A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
  ☆90Updated 2 years ago
• longph1989 / Socrates
  ☆28Updated 2 years ago
• PurCL / ProSec
  Official repo for "ProSec: Fortifying Code LLMs with Proactive Security Alignment"
  ☆14Updated 2 months ago
• klasleino / gloro
  Library for training globally-robust neural networks.
  ☆28Updated last year
• cleverhans-lab / entangled-watermark
  ☆47Updated 4 years ago
• Huiying-Li / blacklight
  ☆17Updated 2 years ago
• hfeniser / DeepSmartFuzzer
  Reward Guided Test Generation for Deep Learning
  ☆20Updated 10 months ago
• trojai / trojai
  A repository to quickly generate synthetic data and associated trojaned deep learning models
  ☆77Updated last year
• xlhex / extract_and_transfer
  ☆9Updated 4 years ago
• TrustAI / DeepConcolic
  Concolic Testing for Deep Neural Networks
  ☆119Updated 3 years ago
• pxzhang94 / ADF
  White-box Fairness Testing through Adversarial Sampling
  ☆13Updated 4 years ago
• ZhenlanJi / DL_CC
  CC: Causality-Aware Coverage Criterion for Deep Neural Networks
  ☆12Updated 2 years ago
• s2e-lab / SecurityEval
  Repository for "SecurityEval Dataset: Mining Vulnerability Examples to Evaluate Machine Learning-Based Code Generation Techniques" publis…
  ☆71Updated last year
• jinyuan-jia / Certify_Topk
  ☆11Updated 5 years ago
• reza321 / T-Miner
  ☆19Updated last year
• Sizhe-Chen / StruQ
  official implementation of [USENIX Sec'25] StruQ: Defending Against Prompt Injection with Structured Queries
  ☆36Updated 2 weeks ago
• usnistgov / trojai-literature
  ☆144Updated 7 months ago
• dgl-prc / rnn2automata
  ☆9Updated 2 years ago
• xirui-li / DrAttack
  Official implementation of paper: DrAttack: Prompt Decomposition and Reconstruction Makes Powerful LLM Jailbreakers
  ☆52Updated 9 months ago
• tcwangshiqi-columbia / symbolic_interval
  The library for symbolic interval
  ☆21Updated 4 years ago