Reliable-Trustworthy-AI
by angelognazzo
Repository for the Reliable and Trustworthy AI course offered in Fall 2022 at ETH Zürich: implementation of DeepPoly, Robustness Analyzer for Deep Neural Networks
AI summary
Verifier
An implementation of a DeepPoly-based verifier for robustness analysis in deep neural networks
- stars
- 2
- forks
- 1
- watching
- 1
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
AI protection
Research-focused notebooks on developing robust and secure AI models against adversarial attacks
AI Explainability Tool
A toolkit for explaining complex AI models and data-driven insights
Neural network verifier
A toolkit for enforcing logical specifications on neural networks
Quality checker
A framework for evaluating and monitoring the quality of large language model outputs in Retrieval Augmented Generation applications.
Fault-tolerant system verifier
A framework for verifying the correctness of Byzantine fault-tolerant distributed systems
Robust network trainer
Trains neural networks to be provably robust against adversarial examples using abstract interpretation techniques.
Robustness framework
Provides a framework for computing tight certificates of adversarial robustness for randomly smoothed classifiers.
Penetration tester
An agent trained to scan for vulnerabilities and exploit them in a simulated network environment
Virtual Machine
A STARK-based virtual machine designed to improve code reuse, performance and modularity through a custom instruction set, compiler and extensibility features.
System verifier
A system for verifying correctness of concurrent and crash-safe systems with recovery procedures
AI resources
An online repository providing resources and information on explainable AI, algorithmic fairness, ML security, and related topics
Robustness tester
A toolbox for researching and evaluating robustness against attacks on machine learning models
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
Model robustness testing
Evaluates and benchmarks the robustness of deep learning models to various corruptions and perturbations in computer vision tasks.
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
Featured in 1 awesome list
Each link jumps to the spot where the list mentions Reliable-Trustworthy-AI.
