issues
search
Verified-Intelligence
/
auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
https://arxiv.org/pdf/2002.12920
Other
269
stars
67
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
verification of models with customized 'forward' function wrapping pre-trained networks and nonlinear functions
#74
JianqiangDing
opened
1 day ago
0
ERROR with ReLU, inplace_unfold cause the bad shape.
#73
charnameRed
opened
1 week ago
0
verification of ensemble model - how to max multiple predictions?
#72
luigiberducci
opened
3 weeks ago
0
AttributeError: 'Patches' object has no attribute 'size'
#71
xiaoziguys
opened
1 month ago
1
An problem when using relu and linear layer
#70
fxh903
opened
1 month ago
0
How is BoundedModule.split_nodes initialized?
#69
nhamlv-55
closed
1 month ago
1
CUDA out-of-memory when running examples/vision/jacobian.py
#68
nhamlv-55
closed
3 weeks ago
1
Error with perturbations on some elements in x_L and x_U
#67
nnjnjn
opened
3 months ago
1
Installation error
#66
ytsao
closed
3 months ago
4
Assertion Error in auto_LiRPA with ViT Architecture, no support for negative values in BoundReciprocal
#65
GabrieleRoncolato
opened
4 months ago
2
ERROR with GELU
#64
nnjnjn
closed
1 month ago
9
`nan` CROWN bounds when clamping
#63
cherrywoods
opened
6 months ago
0
Heaviside IBP Fails
#62
cherrywoods
closed
6 months ago
2
ConvTranspose CROWN Bounds
#61
cherrywoods
opened
6 months ago
11
Is there a working LSTM example? The current examples doesn't work.
#60
renjith-digicat
closed
6 months ago
2
Can we somehow constrain BoundedModule.compute_bounds() lower bound to not be negative?
#59
Soothysay
closed
6 months ago
2
alpha-CROWN in multiprocessing
#58
cherrywoods
opened
7 months ago
4
error with torch.pow(output1,output2)
#57
mlpotter
opened
7 months ago
4
Issue with Verifying MaxPool Layers in auto_LiRPA
#56
r11942152
opened
8 months ago
4
BoundDropout error
#55
ForeverZyh
closed
9 months ago
1
Issues on examples/vision/simple_verification.py with different parameters
#54
r11942152
closed
9 months ago
3
Cuonglannguyen patch 1
#53
cuonglannguyen
closed
9 months ago
0
Error Installing Cuda Extensions
#52
cherrywoods
opened
10 months ago
2
BoundedModule Error on a Convolutional Layer
#51
mhmd97z
closed
8 months ago
2
How to enable Branch and Bound
#50
nhamlv-55
closed
1 year ago
2
assert not sparse_intermediate_bounds or use_sparse_conv is False
#49
yusiyoh
opened
1 year ago
3
Intermediate bounds for gradient nodes
#48
nhamlv-55
closed
1 year ago
2
Can I compute the L2 local Lipschitz constant with the framework?
#47
kwmaeng91
opened
1 year ago
4
Not all layers are storing upper and lower bounds.
#46
haydn-jones
closed
1 year ago
10
build_gradient_node is not supperted for Sigmoid and Tanh.
#45
Walleclipse
opened
1 year ago
2
`get_sparse_C` function encountered index error
#44
nrober1122
opened
1 year ago
0
Exponentially increasing computation time with increasing network size
#43
nrober1122
opened
1 year ago
0
Errors depending on choice of epsilon-ball for alpha-crown and closed-loop dynamics model
#42
mfe7
opened
1 year ago
3
onnx::SoftmaxCrossEntropyLoss not supported
#41
Sol-Bridger
opened
1 year ago
1
Loading bounded model as a child
#40
nurlanov-zh
closed
1 year ago
3
different kernel size and stride in BoundMaxPool
#39
xiangchong1
opened
1 year ago
2
Support for torch.clip
#38
chenxi-yang
closed
1 year ago
1
Providing intermediate constraints
#37
shubhamugare
closed
1 year ago
4
[Feature Request] Cleaner interface for intermediate layers
#36
j29scott
opened
1 year ago
4
Possible Bug?
#35
j29scott
opened
1 year ago
3
Issues with examples/vision/simple_training.py
#34
wanyu42
closed
8 months ago
4
Problem: Whether the perturbation range is optional?
#33
nnjnjn
closed
1 year ago
1
Verifying a network with inbuilt normalization
#32
cherrywoods
closed
8 months ago
2
Bound of difference != difference of bound?
#31
haoming-codes
closed
2 years ago
4
auto Lirpa on other domains than Lp balls ?
#30
mducoffe
closed
1 year ago
1
Batch of epsilon
#29
nurlanov-zh
closed
1 year ago
1
Issue reproducing results from the paper for CIFAR-10
#28
pratik18v
opened
2 years ago
0
Error messages for feedforward networks with method CROWN
#27
AntonXue
closed
2 years ago
2
Intermediate bounds
#26
nurlanov-zh
closed
1 year ago
1
Missing normalization of eps?
#25
ifrosio
closed
2 years ago
3
Next