dnnv
dnnv copied to clipboard
dlshriver
A Framework for Deep Neural Network Verification
Hi, I'm opening this pull request as part of a push to modernise how packages use [Flit](https://flit.pypa.io/en/stable/) as a Python build backend. Using `flit_core` as the backend in place of...
Hi there! I could not quite understand why reluifying a maxpool operation can happen only when it comes after relu. I'm referring to [this line of code](https://github.com/dlshriver/dnnv/blob/d4f59a01810cf4dac99f8f5e5b9d7a350cbfa8d7/dnnv/nn/transformers/simplifiers/reluify_maxpool.py#L120).
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...
This PR changes the install method of the verinet verifier, from pulling a fixed version from the dnnv github to installing it from pipenv. This will allow dnnv to always...
Hello and thank you for this work. I wanted to use this framework however, dnnv_manage fails with all verifiers. I have built dnnv in linux and have dependencies. Error is:...
Hallo, I am running into problems using DNNV that probably stem from my input network and property, but I can't find out what the issue is. I isolated the parts...
Sorry, next right up... Running VeriNet crashes with a `ValueError`. I tested this on develop and master. I am not sure if it produced the same error on master, but...