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 Loading
-
MLPDepthMap
MLPDepthMap PublicDense depth map estimation using stereo geometry, segmentation and MLP
-
-
PI-Universal-Remote
PI-Universal-Remote PublicMakes a rasperry pi act as a Universal Remote Hub
Swift
-
vas-group-imperial/VeriNet
vas-group-imperial/VeriNet PublicThe VeriNet toolkit for verification of neural networks
-
vas-group-imperial/I-Repair
vas-group-imperial/I-Repair PublicThe I-Repair toolkit for repair of neural networks using limited data
Python 2
-
vas-group-imperial/VeriNet-OpenSource
vas-group-imperial/VeriNet-OpenSource PublicThe open source version of the VeriNet toolkit for verification of neural networks.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.