oval-group Goto Github PK

advgnn

Generating Adversarial Examples with Graph Neural Networks

ali-g

Implementation of the ALI-G algorithm (PyTorch, Tensorflow)

borat

A Stochastic Bundle Method for Interpolating Networks. JMLR 2021.

decomposition-plnn-bounds

Dual iterative algorithms for Neural Network output bounds computations

densecrf

dfw

Implementation of the Deep Frank-Wolfe Algorithm -- Pytorch

disconets

gnn_branching

Implementation of GNN ReLU branching strategies

mlogger

a lightweight and simple logger for Machine Learning

multivisdom_proxy

How to create a server that will proxy to multiple visdom running on different computers.

oval-bab

OVAL framework for BaB-based Neural Network Verification

partial-linearization

Code for Partial Linearization based Optimization for Multi-class SVM

pl-cnn

A layer-wise algorithm for learning Convolutional Neural Networks

plnn-verification

All code for the Piecewise Linear Neural Networks verification: A comparative study paper

scaling-the-convex-barrier

Scaling the convex barrier for piecewise-linear neural network verification

smooth-topk

Smooth Loss Functions for Deep Top-k Classification

statistical-robustness

Code to reproduce experiments from "A Statistical Approach to Assessing Neural Network Robustness"

vnn-comp