lmql
A language for constraint-guided and efficient LLM programming.silq
securify2
Securify v2.0debin
Machine Learning to Deobfuscate Binarieseran
ETH Robustness Analyzer for Deep Neural Networkssecurify
[DEPRECATED] Security Scanner for Ethereum Smart Contractsdiffai
A certifiable defense against adversarial examples by training neural networks to be provably robustNice2Predict
Learning framework for program property predictionlanguage-model-arithmetic
Controlled Text Generation via Language Model Arithmeticilf
AI based fuzzer based on imitation learningELINA
ELINA: ETH LIbrary for Numerical Analysispsi
Exact Inference Engine for Probabilistic Programszkay
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.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.astarix
AStarix: Fast and Optimal Sequence-to-Graph Alignerfastsmt
Learning to Solve SMT Formulas FastTFix
sven
learch
soltix
SOLTIX: Scalable automated framework for testing Solidity compilers.colt
Convex Layerwise Adversarial Training (COLT)probabilistic-forecasts-attacks
ChatProtect
This is the code for the paper "Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation".lcifr
Learning Certified Individually Fair Representationsadaptive-auto-attack
dp-sniper
A machine-learning-based tool for discovering differential privacy violations in black-box algorithms.verx-benchmarks
dp-finder
Differential Privacy Testing Systemlamp
LAMP: Extracting Text from Gradients with Language Model Priors (NeurIPS '22)bayonet
Probabilistic Computer Network Analysisphoenix
Private and Reliable Neural Network Inference (CCS '22)llmprivacy
fnf
EventRacer
A race detection tool for event driven applications.learning-real-bug-detector
lassi
Latent Space Smoothing for Individually Fair Representations (ECCV 2022)deepg
Certifying Geometric Robustness of Neural Networksvscode-silq
zapper
robust-code
Adversarial Robustness for Codeguiding-synthesizers
Guiding Program Synthesis by Learning to Generate Exampleslearning-to-configure-networks
[NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic ReasoningSABR
UniversalCertificationTheory
Universal Approximation with Certified Networksbayes-framework-leakage
smoothing-ensembles
[ICLR 2022] Boosting Randomized Smoothing with Variance Reduced ClassifiersModelsPHOG
Synthesized models for PHOG to make the results reproducible by the research communitysegmentation-smoothing
Provable robustness for segmentation tasks.eth-sri.github.io
SRI Group Website3dcertify
3DCertify is the first verifier to certify robustness of point cloud models against semantic transformations and point perturbationsACE
proof-sharing
CAV'22 paper to speed up Neural Network Verification.prover
Verifier for Deep Neural Network Audio ProcessingDFENCE
Dynamic Analysis and Synthesis System for Relaxed Memory ModelsR4
mn-bab
[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Boundautomated-error-analysis
Automated Classification of Model Errors on ImageNet (NeurIPS 2023)SafeCoder
paradox
On the Paradox of Certified Training (TMLR 10/2022)Delta-Siege
Unqomp
Automated Uncomputation for Quantum Programsfairness-feedback-nlp
Human-Guided Fair Classification for NLP (ICLR 2023, Spotlight)Spire
drs
[NeurIPS 2022] (De-)Randomized Smoothing for Decision Stump Ensemblesinferui
InferUI: Robust Relational Layouts Synthesis from Examples for Androidfare
FARE: Provably Fair Representation Learning with Practical Certificates (ICML '23)transformation-smoothing
Randomized Smoothing for Parametric (Image) TransformationsTAPS
DeepT
ncm
Trace Based Supervision for Neural Architecturesabstraqt
ACES
[SRML@ICLR 2022] Robust and Accurate -- Compositional Architectures for Randomized Smoothingmalicious-contamination
synthetiq
CRAFT
watermark-stealing-website
The website for "Watermark Stealing in Large Language Models".fedavg_leakage
Reqomp
tableak
TabLeak: Tabular Data Leakage in Federated Learningwatermark-stealing
Watermark Stealing in Large Language ModelsLove Open Source and this site? Check out how you can help us