oval-group

OVAL framework for BaB-based Neural Network Verification

A Stochastic Bundle Method for Interpolating Networks. JMLR 2021.

Smooth Loss Functions for Deep Top-k Classification

Generating Adversarial Examples with Graph Neural Networks

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

Implementation of the Deep Frank-Wolfe Algorithm -- Pytorch

Implementation of GNN ReLU branching strategies

Scaling the convex barrier for piecewise-linear neural network verification

Dual iterative algorithms for Neural Network output bounds computations

a lightweight and simple logger for Machine Learning