David Boetius
David Boetius
Dear auto_LiRPA Team, thanks for putting together this library! I would like to use it to verify a network with in-built normalization. Here is an example with an ACAS Xu-like...
Hallo, when running Cbc on the following simple, unbounded model, the program crashes with `malloc(): invalid next size (unsorted)`. ``` *SENSE:Minimize NAME MODEL ROWS N OBJ COLUMNS X0000000 OBJ 1.000000000000e+00...
While the documentation of this method of KeyedEncodingContainerProtocol is not entirely clear to me, the documentation for NSCoding is pretty clear. Implement it the way it is explained for NSCoding.
The documentation of this repository certainly can be improved. Help wanted there! Personally I would be especially interested in your use cases of the framework and what parts of it...
Hi there, I noticed that the tool does not display span annotations that span multiple lines (contain line breaks) correctly. Is there a way to fix this? Best regards, David
**Describe the bug** I am trying to bound a `clamp` operation. Since using `torch.clamp` directly produces an error stating that `Cast` is an unsupported operation, I instead tried `torch.minimum(torch.maximum(x, mins),...
**Describe the bug** I was delighted to see that `auto_LiRPA` can bound ConvTranspose layers out of the box, but, unfortunately, CROWN in batch mode doesn't seem to work. **To Reproduce**...
I am trying to compute bounds on multiple models in parallel using the `multiprocessing` library. This works fine when using IBP or CROWN, but when using `alpha-CROWN`, I get very...
**Describe the bug** Running `python auto_LiRPA/cuda_utils.py install` fails (nvcc failed with exit code 1). **To Reproduce** environment.yaml file: ``` name: auto_LiRPA channels: - pytorch dependencies: - python=3.10 - pytorch=1.12.1 -...
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...