Annelot Bosman

icon location PhD student at @ADA-research at Leiden University. Working on AutoAI for Neural Network Verification

Results 3 issues of Annelot Bosman

RuntimeError onnx network when verifying, while network works at inference

**Describe the bug** When verifying an onnx network with latest version of ab-crown we get an ONNXRuntime error, that does not exist when running inference with the model. This is...

Use norms other then linf

3 comment

I want to use ab-crown to verify neural networks with localrobustness property with the l-1 and l-2 norms. When I do this I get "Only Linf-norm attack is supported, the...

Property definitions different norms

1 comment

Dear reader, Currently I am working on creating l_1 and l_2 norm properties for local robustness verification. However, my first few attempts have resulted in various errors. I was wondering...