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
• Testing4AI / RobOT
  Code release for RobOT (ICSE'21)
  ☆15Updated 2 years ago
• longph1989 / Socrates
  ☆28Updated 2 years ago
• IBM / URET
  Universal Robustness Evaluation Toolkit (for Evasion)
  ☆31Updated last week
• surrealyz / verified-global-properties
  Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf
  ☆27Updated 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
  ☆29Updated 2 years ago
• eth-sri / sven
  ☆111Updated 10 months ago
• Testing4AI / DeepJudge
  Code release for DeepJudge (S&P'22)
  ☆51Updated 2 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
• AI-secure / Meta-Nerual-Trojan-Detection
  ☆66Updated 4 years ago
• dgl-prc / m_testing_adversatial_sample
  ☆25Updated 4 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
• reza321 / T-Miner
  ☆19Updated last year
• PurCL / ProSec
  Official repo for "ProSec: Fortifying Code LLMs with Proactive Security Alignment"
  ☆14Updated last month
• UCLA-SEAL / DeepLearningTest
  Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)
  ☆10Updated 3 years ago
• hfeniser / DeepSmartFuzzer
  Reward Guided Test Generation for Deep Learning
  ☆20Updated 9 months ago
• yuanchun-li / ModelDiff
  ☆18Updated 3 years ago
• klasleino / gloro
  Library for training globally-robust neural networks.
  ☆28Updated last year
• AI-secure / VeriGauge
  A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
  ☆89Updated 2 years ago
• pxzhang94 / ADF
  White-box Fairness Testing through Adversarial Sampling
  ☆13Updated 4 years ago
• KaidiXu / Beta-CROWN
  β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification
  ☆29Updated 3 years ago
• TrustAI / DeepConcolic
  Concolic Testing for Deep Neural Networks
  ☆119Updated 3 years ago
• facebookresearch / SecAlign
  Repo for the research paper "SecAlign: Defending Against Prompt Injection with Preference Optimization"
  ☆45Updated last month
• TrustAI / Literature-on-DNN-Verification-and-Testing
  ☆47Updated 6 years ago
• cleverhans-lab / entangled-watermark
  ☆46Updated 4 years ago
• YBRua / SrcMarker
  Code for paper "SrcMarker: Dual-Channel Source Code Watermarking via Scalable Code Transformations" (IEEE S&P 2024)
  ☆26Updated 9 months ago
• xirui-li / DrAttack
  Official implementation of paper: DrAttack: Prompt Decomposition and Reconstruction Makes Powerful LLM Jailbreakers
  ☆52Updated 8 months ago
• Sizhe-Chen / StruQ
  official implementation of [USENIX Sec'25] StruQ: Defending Against Prompt Injection with Structured Queries
  ☆35Updated 3 weeks ago
• dgl-prc / rnn2automata
  ☆9Updated 2 years ago
• DeepImportance / deepimportance_code_release
  ☆24Updated 4 years ago