David Boetius
David Boetius
* The coding path is helpful to find the failing class if such an error is thrown. * As fas as I know userInfo is just for the user to...
Anyway great implementation @andrew-eng!
I would also love to see your implementation @andrew-eng! How did you manage to shrink the code?
Thank you for taking your time to answer me and for the update. I have tried to directly get verifiers running on my inputs, but without much luck. Therefore, the...
Alright, thank you for your answer! Maybe it would be good to remove (or expand) the section on installing the CUDA extensions in the README in this case.
CROWN with a single input (e.g. `torch.zeros(1, 4, 1, 1)` instead of `torch.zeros(10, 4, 1, 1)`) works fine.
Sure, sorry for not including it right away: ```python generator = nn.Sequential( nn.ConvTranspose2d(4, 49, kernel_size=4, stride=1, bias=False), # 49 x 4 x 4 nn.BatchNorm2d(49, affine=True), nn.LeakyReLU(negative_slope=0.2), nn.ConvTranspose2d(49, 12, kernel_size=4, stride=4,...
Hi @shizhouxing, the incorrect batch dimension was indeed a problem in the code I posted, however a very similar error persists also with fixed batch dimensions: ```python import torch from...
Hi @shizhouxing, this was only a typo. I updated the code above. The error remains the same.
That indeed seemed to be the issue. I somehow messed up pulling the latest release from Github. Thanks for your patience and sorry for the inconvenience. I'm happy that I...