eth-sri Goto Github PK

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)

fare

FARE: Provably Fair Representation Learning with Practical Certificates (ICML '23)

fastsmt

Learning to Solve SMT Formulas Fast

fedavg_leakage

fnf

gains

guiding-synthesizers

Guiding Program Synthesis by Learning to Generate Examples

ibp-propagation-tightness

ilf

AI based fuzzer based on imitation learning

inferui

InferUI: Robust Relational Layouts Synthesis from Examples for Android

lamp

LAMP: Extracting Text from Gradients with Language Model Priors (NeurIPS '22)

language-model-arithmetic

Controlled Text Generation via Language Model Arithmetic

lassi

Latent Space Smoothing for Individually Fair Representations (ECCV 2022)

lcifr

Learning Certified Individually Fair Representations

learch

learning-real-bug-detector

learning-to-configure-networks

[NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning

llmprivacy

lmql

A language for constraint-guided and efficient LLM programming.

malicious-contamination

mn-bab

[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound

modelsphog

Synthesized models for PHOG to make the results reproducible by the research community

ncm

Trace Based Supervision for Neural Architectures

nice2predict

Learning framework for program property prediction

paradox

On the Paradox of Certified Training (TMLR 10/2022)

phoenix

Private and Reliable Neural Network Inference (CCS '22)