Property definitions different norms

[AWbosman]

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]

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.