AWbosman
PhD student at @ADA-research at Leiden University. Working on AutoAI for Neural Network Verification
Pinned Repositories
nn-verification-assessment
Performance assessment of state-of-the-art local robustness verification algorithms.
dnnv
A Framework for Deep Neural Network Verification
autokeras
AutoML library for deep learning
nn-verification-assessment
Performance assessment of state-of-the-art local robustness verification algorithms.
VeriNet
The VeriNet toolkit for verification of neural networks
alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
AWbosman's Repositories
AWbosman/nn-verification-assessment
Performance assessment of state-of-the-art local robustness verification algorithms.