search

dlshriver / dnnv

A Framework for Deep Neural Network Verification
https://docs.dnnv.org
MIT License
56 stars 18 forks source link

Property definitions different norms #112

Open AWbosman opened 1 year ago

AWbosman commented 1 year ago

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 if there are already dnnv scripts for these norms out there that I can take a look at.

Kindly

dlshriver commented 1 year ago

Good question. Unfortunately, DNNV only supports linear constraints in property specifications, so L2 norms cannot be exactly specified. L1 norms should be supported, however. An example of what you have tried could be useful for debugging. The way I would suggest specifying an L1 constraint would be something like np.sum(np.abs(x)) < 0.1.