AWbosman
PhD student at @ADA-research at Leiden University. Working on AutoAI for Neural Network Verification
Pinned Repositories
VERONA
nn-verification-assessment
Performance assessment of state-of-the-art local robustness verification algorithms.
fairness_crossdomain
Official repository of our work "Fairness meets Cross-Domain Learning: a Benchmark of Models and Metrics" published on IEEE Access
Marabou
Fairness-Through-Robustness
Official code for FAccT'21 paper "Fairness Through Robustness: Investigating Robustness Disparity in Deep Learning" https://arxiv.org/abs/2006.12621
alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
AWbosman's Repositories
AWbosman/nn-verification-assessment
Performance assessment of state-of-the-art local robustness verification algorithms.