oval-group

ali-g

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

DenseCRF

dfw

Implementation of the Deep Frank-Wolfe Algorithm -- Pytorch

GNN_branching

Implementation of GNN ReLU branching strategies

mlogger

a lightweight and simple logger for Machine Learning

oval-bab

OVAL framework for BaB-based Neural Network Verification

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

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"

oval-group/smooth-topk

Smooth Loss Functions for Deep Top-k Classification

oval-group/mlogger

a lightweight and simple logger for Machine Learning

oval-group/dfw

Implementation of the Deep Frank-Wolfe Algorithm -- Pytorch

oval-group/PLNN-verification

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

oval-group/ali-g

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

oval-group/DenseCRF

oval-group/oval-bab

OVAL framework for BaB-based Neural Network Verification

oval-group/statistical-robustness

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

oval-group/GNN_branching

Implementation of GNN ReLU branching strategies

oval-group/pl-cnn

A layer-wise algorithm for learning Convolutional Neural Networks

oval-group/scaling-the-convex-barrier

Scaling the convex barrier for piecewise-linear neural network verification

oval-group/DISCONets

oval-group/borat

A Stochastic Bundle Method for Interpolating Networks. JMLR 2021.

oval-group/decomposition-plnn-bounds

Dual iterative algorithms for Neural Network output bounds computations

oval-group/AdvGNN

Generating Adversarial Examples with Graph Neural Networks

oval-group/Partial-linearization

Code for Partial Linearization based Optimization for Multi-class SVM

oval-group/multivisdom_proxy

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

oval-group/vnn-comp