research-fork Goto Github PK

acasxu

Verification and simulation of AcasXu closed-loop system

adapted-gspan

adversarial.jl

Adversarial attacks for Neural Networks written with FluxML

ai-secure3

A united toolbox for running major robustness verification approaches for DNNs.

api

api-clients

automated-reasoning

an implementation of a CDCL based SAT solver, SMT solver for uninterpreted functions, and an LP theory solver for formal verification purposes

awesome-llm-interpretability

A curated list of Large Language Model (LLM) Interpretability resources.

bark

🔊 Text-Prompted Generative Audio Model

best-leetcode-resources

This repository contains LeetCode resources for technical coding interviews.

cdcl

cdcl solver

cdcl-based-sat-solver

Implementation of basic CDCL-based SAT solver in Python

cdcl-sat

A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python

cdcl-sat-solver

chipper

cool_complier_pas

cs-video-courses

List of Computer Science courses with video lectures.

debona

Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs

deepconcolic

Concolic Testing for Deep Neural Networks

deepneuralnetworkforwardrobustness

MATLAB code for testing DNNs robustness through symbolic propagation of abstract concepts

deeppoly-verify

Verification of Neural Nets using DeepPoly. Project for Reliable and Interpretable AI @ ETH, 2020

deeppolyspu

Implementation of DeepPoly verification for MNIST dataset for the RTAI ETH course

deepz

Verifying neural networks with zonotope relaxations.

dnn-repair

Repair of Neural Networks

dnnf

Deep Neural Network Falsification

dnnv

A Framework for Deep Neural Network Verification

dreal4

SMT Solver for Nonlinear Theories of Reals

equalitytheory

Testing different ways to add a theory (in this case equality theory) to a CDCL SAT-solver.

esbmc

The efficient SMT-based bounded model checker

escape-pod-extension