oval-group

smooth-topk

Smooth Loss Functions for Deep Top-k Classification

mlogger

a lightweight and simple logger for Machine Learning

dfw

Implementation of the Deep Frank-Wolfe Algorithm -- Pytorch

PLNN-verification

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

ali-g

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

DenseCRF

oval-bab

OVAL framework for BaB-based Neural Network Verification

statistical-robustness

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

GNN_branching

Implementation of GNN ReLU branching strategies

pl-cnn

A layer-wise algorithm for learning Convolutional Neural Networks

scaling-the-convex-barrier

Scaling the convex barrier for piecewise-linear neural network verification

DISCONets

borat

A Stochastic Bundle Method for Interpolating Networks. JMLR 2021.

decomposition-plnn-bounds

Dual iterative algorithms for Neural Network output bounds computations

AdvGNN

Generating Adversarial Examples with Graph Neural Networks

Partial-linearization

Code for Partial Linearization based Optimization for Multi-class SVM

multivisdom_proxy

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

vnn-comp