pat676
PhD candidate at Imperial College London and research engineer at Safe Intelligence, specialising in formal verification and robust training of ML models.
United Kingdom
Pinned Repositories
cifar_biasfield_vnncomp2022
The cifar biasfield benchmark for vnncomp 2022
MLPDepthMap
Dense depth map estimation using stereo geometry, segmentation and MLP
mnist_fc_vnncomp2022
The MNIST fully connected benchmarks for VNNCOMP22
PI-Universal-Remote
Makes a rasperry pi act as a Universal Remote Hub
SideScroller
A Simple iOS SideScrolling game
test
vnn-comp
I-Repair
The I-Repair toolkit for repair of neural networks using limited data
VeriNet
The VeriNet toolkit for verification of neural networks
VeriNet-OpenSource
The open source version of the VeriNet toolkit for verification of neural networks.
pat676's Repositories
pat676/MLPDepthMap
Dense depth map estimation using stereo geometry, segmentation and MLP
pat676/SideScroller
A Simple iOS SideScrolling game
pat676/cifar_biasfield_vnncomp2022
The cifar biasfield benchmark for vnncomp 2022
pat676/mnist_fc_vnncomp2022
The MNIST fully connected benchmarks for VNNCOMP22
pat676/PI-Universal-Remote
Makes a rasperry pi act as a Universal Remote Hub
pat676/test
pat676/vnn-comp
pat676/vnncomp2021
VNN Neural Network Verification Competition 2021