Our Research Projects

Neural Network Verification

This is a historic project which has previously made use of HPC facilities at Newcastle University.

Project Contacts

For further information about this project, please contact:


Project Description

This project requires large memories


Software or Compute Methods

We are currently using Python with a working package manager (miniconda in my case, but pip should work too). He would like to request, if possible, the following C/C++ toolchain (the names are based on the Ubuntu Linux distribution):
a. gcc/g++
b. bazel
c. libgmp
d. autoreconf
e. flex
f. bison
g. libtool