vivid04 Goto Github PK

alpha-beta-crown

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP'21)

alpha-beta-crown_vnncomp22

auto_lirpa

[NeurIPS 2020]auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks

autograd

Efficiently computes derivatives of numpy code.

bayesianoptimization

A Python implementation of global optimization with gaussian processes.

boundarynn

set-boundary analysis

certifiedrelurobustness

Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://github.com/Verified-Intelligence/auto_LiRPA instead)

convex_adversarial

A method for training neural networks that are provably robust to adversarial attacks.

cora

Toolbox for Reachability Analysis

cpython

The Python programming language

crown-ibp

Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).

crown-robustness-certification

CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://github.com/KaidiXu/auto_LiRPA instead)

deepg

Certifying Geometric Robustness of Neural Networks

eran

ETH Robustness Analyzer for Deep Neural Networks

forissues

store links to file

gnn-milp

[ICLR 2023] "On Representing Mixed-Integer Linear Programs by Graph Neural Networks" by Ziang Chen, Jialin Liu, Xinshang Wang, Jianfeng Lu, Wotao Yin.

gnn_branching

Implementation of GNN ReLU branching strategies

hello-world

Just another project

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

jax_verify

Neural network verification in JAX

learn2branch

Exact Combinatorial Optimization with Graph Convolutional Neural Networks (NeurIPS 2019)

linux

Linux kernel source tree

lirpa_verify

Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"

marabou

是reluplex的升级版

mipverify_data

mn-bab

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

nlpstudy

nnv

Neural Network Verification Software Tool

oval-bab

OVAL framework for BaB-based Neural Network Verification

oviewwpf

用WPF開發Oview ActiveX