Discover eth-sri/learning-real-bug-detector Open Source project

Stars
16
Rank 1,275,246 (Top 26 %)
Language
Python
Created about 2 years ago
Updated over 1 year ago

eth-sri

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

lmql

A language for constraint-guided and efficient LLM programming.

silq

securify2

debin

Machine Learning to Deobfuscate Binaries

Python

399

eran

ETH Robustness Analyzer for Deep Neural Networks

Python

306

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

216

Nice2Predict

Learning framework for program property prediction

C++

201

language-model-arithmetic

Controlled Text Generation via Language Model Arithmetic

Python

154

ilf

AI based fuzzer based on imitation learning

Python

144

ELINA

ELINA: ETH LIbrary for Numerical Analysis

C++

126

psi

Exact Inference Engine for Probabilistic Programs

JetBrains MPS

123

zkay

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

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

astarix

AStarix: Fast and Optimal Sequence-to-Graph Aligner

C++

fastsmt

Learning to Solve SMT Formulas Fast

TFix

sven

learch

soltix

SOLTIX: Scalable automated framework for testing Solidity compilers.

Java

probabilistic-forecasts-attacks

Python

colt

Convex Layerwise Adversarial Training (COLT)

Python

ChatProtect

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

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

dp-finder

Differential Privacy Testing System

Python

lamp

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

Python

bayonet

Probabilistic Computer Network Analysis

phoenix

Private and Reliable Neural Network Inference (CCS '22)

C++

llmprivacy

Python

fnf

Python

EventRacer

A race detection tool for event driven applications.

C++

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

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

UniversalCertificationTheory

Universal Approximation with Certified Networks

Python

bayes-framework-leakage

Python

smoothing-ensembles

[ICLR 2022] Boosting Randomized Smoothing with Variance Reduced Classifiers

Python

ModelsPHOG

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

C++

segmentation-smoothing

Provable robustness for segmentation tasks.

eth-sri.github.io

SRI Group Website

HTML

3dcertify

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

Python

ACE

Python

proof-sharing

CAV'22 paper to speed up Neural Network Verification.

Python

prover

Verifier for Deep Neural Network Audio Processing

Python

DFENCE

Dynamic Analysis and Synthesis System for Relaxed Memory Models

C++

mn-bab

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

Python

automated-error-analysis

Automated Classification of Model Errors on ImageNet (NeurIPS 2023)

Jupyter Notebook

SafeCoder

paradox

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

Python

Delta-Siege

Python

Unqomp

Automated Uncomputation for Quantum Programs

Python

fairness-feedback-nlp

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

Python

Spire

drs

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

Terra

inferui

InferUI: Robust Relational Layouts Synthesis from Examples for Android

C++

fare

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

Shell

transformation-smoothing

Randomized Smoothing for Parametric (Image) Transformations

Python

TAPS

Python

DeepT

Python

ncm

Trace Based Supervision for Neural Architectures

abstraqt

OpenQASM

ACES

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

Python

malicious-contamination

synthetiq

CRAFT

fedavg_leakage

Reqomp

tableak

TabLeak: Tabular Data Leakage in Federated Learning

watermark-stealing

Watermark Stealing in Large Language Models

eth-sri/learning-real-bug-detector

eth-sri

Reviews

Repository Details

More Repositories