eth-sri Goto Github PK

3dcertify

3DCertify is the first verifier to certify robustness of point cloud models against semantic transformations and point perturbations

abstraqt

ace

aces

[SRML@ICLR 2022] Robust and Accurate -- Compositional Architectures for Randomized Smoothing

adaptive-auto-attack

astarix

AStarix: Fast and Optimal Sequence-to-Graph Aligner

automated-error-analysis

Automated Classification of Model Errors on ImageNet (NeurIPS 2023)

bayes-framework-leakage

bayonet

Probabilistic Computer Network Analysis

blinker

chatprotect

This is the code for the paper "Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation".

chromeer

colt

Convex Layerwise Adversarial Training (COLT)

craft

datamin

This is the Repository containing the implementation of our paper "From Principle to Practice: Vertical Data Minimization for Machine Learning".

debin

Machine Learning to Deobfuscate Binaries

deepg

Certifying Geometric Robustness of Neural Networks

deept

delta-siege

dfence

Dynamic Analysis and Synthesis System for Relaxed Memory Models

diffai

A certifiable defense against adversarial examples by training neural networks to be provably robust

dl2

DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.

dp-finder

Differential Privacy Testing System

dp-sniper

A machine-learning-based tool for discovering differential privacy violations in black-box algorithms.

drs

[NeurIPS 2022] (De-)Randomized Smoothing for Decision Stump Ensembles

elina

ELINA: ETH LIbrary for Numerical Analysis

eran

ETH Robustness Analyzer for Deep Neural Networks

eth-sri.github.io

SRI Group Website

eventracer

A race detection tool for event driven applications.

fairness-feedback-nlp

Human-Guided Fair Classification for NLP (ICLR 2023, Spotlight)