Pinned Loading

1. AbstractGradientTraining AbstractGradientTraining Public

   This repository contains an implementation of abstract gradient training.

   Python 6 1

2. Bounds-Tightening-for-Neural-Network-Control Bounds-Tightening-for-Neural-Network-Control Public

   This repository contains code for the paper "Scaling Mixed-Integer Programming for Certification of Neural Network Controllers Using Bounds Tightening".

   Python 1

3. amp-for-mixed-generalised-linear-models amp-for-mixed-generalised-linear-models Public

   Approximate message passing algorithms for mixed generalized linear models.

   Python 1

4. libOthello libOthello Public

   High performance othello library using bitboards.

   C++