☆20May 31, 2024Updated last year
Alternatives and similar repositories for awesome-ai-testing
Users that are interested in awesome-ai-testing are comparing it to the libraries listed below
Sorting:
- Code release for RobOT (ICSE'21)☆15Dec 5, 2022Updated 3 years ago
- White-box Fairness Testing through Adversarial Sampling☆13Apr 16, 2021Updated 4 years ago
- ☆26Feb 1, 2023Updated 3 years ago
- Code release for DeepJudge (S&P'22)☆52Mar 14, 2023Updated 2 years ago
- S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models☆109Feb 13, 2026Updated 2 weeks ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆33Jul 15, 2019Updated 6 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- A toolkit for testing machine translation [ICSE'20, '21, ESEC/FSE'20]☆33Nov 15, 2021Updated 4 years ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- ☆11May 24, 2022Updated 3 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- Fair paper matching☆11Jan 20, 2020Updated 6 years ago
- ☆11Oct 17, 2024Updated last year
- This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on …☆98Oct 18, 2022Updated 3 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- 🌟 SwarmAgent: A framework for simulating social group dynamics using multi-agent collaboration, aiding insights into collective behavior…☆12Dec 5, 2023Updated 2 years ago
- ☆12Jun 26, 2020Updated 5 years ago
- a pytorch version of AdvGAN for cifar10 dataset☆10Dec 21, 2019Updated 6 years ago
- 🔗 A developer's tool for understanding new codebases☆33Jan 25, 2026Updated last month
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 5 years ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Jul 28, 2019Updated 6 years ago
- Grey-scale Image Classification using KERAS☆11Nov 30, 2018Updated 7 years ago
- Implemention of "Robust Watermarking of Neural Network with Exponential Weighting" in TensorFlow.☆13Dec 2, 2020Updated 5 years ago
- CVPR 2021 | Code to reproduce the results of the paper: A Khakzar, S Baselizadeh, S Khanduja, C Rupprecht, ST Kim, N Navab, Neural Respon…☆12Jun 23, 2021Updated 4 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated last year
- Tests that check correctness of a single statement☆13Nov 25, 2024Updated last year
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 6 years ago
- ☆12Jul 13, 2022Updated 3 years ago
- ☆11Sep 3, 2020Updated 5 years ago
- Codes for reproducing the experimental results in "Proper Network Interpretability Helps Adversarial Robustness in Classification", publi…☆13Jun 29, 2020Updated 5 years ago
- ☆15Apr 13, 2024Updated last year
- A Multi-Agent Approach Integrating Socratic Guidance for Automated Prompt Optimization☆17Dec 15, 2025Updated 2 months ago
- Code for "Astraea: Grammar-based Fairness Testing"☆10Jan 7, 2022Updated 4 years ago
- Prolog specification of TensorFlow layers☆14Jun 12, 2023Updated 2 years ago
- Tool to measure code coverage of Android applications when their source code is not available☆12Apr 1, 2023Updated 2 years ago
- MAB-Malware an open-source reinforcement learning framework to generate AEs for PE malware. We model this problem as a classic multi-arme…☆15Nov 24, 2021Updated 4 years ago
- A visualisation tool for RAG☆13Jan 31, 2024Updated 2 years ago
- Improving Machine Translation Systems via Isotopic Replacement☆12Apr 14, 2023Updated 2 years ago