Discover eth-sri/UniversalCertificationTheory Open Source project

Stars
10
Rank 1,807,489 (Top 36 %)
Language
Python
License
MIT License
Created almost 5 years ago
Updated almost 5 years ago

eth-sri

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Universal Approximation with Certified Networks

lmql

A language for constraint-guided and efficient LLM programming.

silq

securify2

debin

Machine Learning to Deobfuscate Binaries

Python

412

eran

ETH Robustness Analyzer for Deep Neural Networks

Python

313

diffai

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

Python

217

securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Java

215

Nice2Predict

Learning framework for program property prediction

C++

201

language-model-arithmetic

Controlled Text Generation via Language Model Arithmetic

Python

201

ilf

AI based fuzzer based on imitation learning

Python

149

ELINA

ELINA: ETH LIbrary for Numerical Analysis

C++

129

psi

Exact Inference Engine for Probabilistic Programs

JetBrains MPS

123

sven

Python

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.

Python

zkay

A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.

Python

astarix

AStarix: Fast and Optimal Sequence-to-Graph Aligner

C++

TFix

JavaScript

fastsmt

Learning to Solve SMT Formulas Fast

SMT

learch

C++

llmprivacy

Python

soltix

SOLTIX: Scalable automated framework for testing Solidity compilers.

Java

ChatProtect

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

Python

probabilistic-forecasts-attacks

Python

colt

Convex Layerwise Adversarial Training (COLT)

Python

SafeCoder

Python

lcifr

Learning Certified Individually Fair Representations

Python

adaptive-auto-attack

Python

dp-sniper

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

Python

verx-benchmarks

lamp

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

Python

dp-finder

Differential Privacy Testing System

Python

bayonet

Probabilistic Computer Network Analysis

phoenix

Private and Reliable Neural Network Inference (CCS '22)

C++

fnf

Python

EventRacer

A race detection tool for event driven applications.

C++

learning-real-bug-detector

Python

lassi

Latent Space Smoothing for Individually Fair Representations (ECCV 2022)

Python

deepg

Certifying Geometric Robustness of Neural Networks

Python

vscode-silq

TypeScript

zapper

Rust

robust-code

Adversarial Robustness for Code

Python

watermark-stealing

Watermark Stealing in Large Language Models (ICML '24)

Python

guiding-synthesizers

Guiding Program Synthesis by Learning to Generate Examples

Python

learning-to-configure-networks

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

SABR

Python

bayes-framework-leakage

Python

smoothing-ensembles

[ICLR 2022] Boosting Randomized Smoothing with Variance Reduced Classifiers

Python

llm-quantization-attack

Python

eth-sri.github.io

SRI Group Website

HTML

ModelsPHOG

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

C++

segmentation-smoothing

Provable robustness for segmentation tasks.

3dcertify

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

Python

prover

Verifier for Deep Neural Network Audio Processing

Python

proof-sharing

CAV'22 paper to speed up Neural Network Verification.

Python

mn-bab

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

Python

ACE

Python

DFENCE

Dynamic Analysis and Synthesis System for Relaxed Memory Models

C++

Delta-Siege

Python

automated-error-analysis

Automated Classification of Model Errors on ImageNet (NeurIPS 2023)

Jupyter Notebook

C++

drs

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

Terra

paradox

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

Python

fare

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

Shell

Unqomp

Automated Uncomputation for Quantum Programs

Python

fairness-feedback-nlp

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

Python

Spire

TAPS

Python

inferui

InferUI: Robust Relational Layouts Synthesis from Examples for Android

C++

abstraqt

OpenQASM

transformation-smoothing

Randomized Smoothing for Parametric (Image) Transformations

Python

cuts

Python

ACES

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

Python

synthetiq

OpenQASM

DeepT

Python

ncm

Trace Based Supervision for Neural Architectures

malicious-contamination

CRAFT

fedavg_leakage

Reqomp

ibp-propagation-tightness

Python

tableak

TabLeak: Tabular Data Leakage in Federated Learning

domino

eth-sri/UniversalCertificationTheory

eth-sri

Reviews

Repository Details

More Repositories