Verified-Intelligence alpha-beta-CROWN issues

Verified-Intelligence / alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

Other

242 stars 60 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Issue with type mismatch in ```get_sparse_C``` and ```backward_general``` functions

#80 929937690 opened 4 days ago
0
it is possible to use beta-crown directly without the need for alpha-crown?

#79 xiaoyuanpigo opened 1 week ago
15
Reciprocal AssertionError

#78 jannickstrobel opened 1 month ago
0
assert self.alpha_lookup_idx is None or self.alpha_lookup_idx[start_node.name] is None

#77 AvrahamRaviv opened 1 month ago
1
Why does bab return 'unknown' instead of 'unsafe' when all nodes are split?

#76 mathisdon opened 2 months ago
0
Discrete values in the DNN input

#75 mhmd97z opened 2 months ago
0
Input splitting for LSTM

#74 mhmd97z closed 2 months ago
5
How to cite KFSB?

#73 jamesjingqili closed 2 months ago
2
backward for bias

#72 xiaoyuanpigo closed 2 months ago
1
Verification of Image Regression Network

#71 absyed1 opened 2 months ago
0
Linear constraint on input variables

#70 mhmd97z closed 2 months ago
1
AttributeError: 'BoundReciprocal' object has no attribute 'build_solver'

#69 xiaoyuanpigo closed 3 months ago
1
How to return/store all counter examples?

#68 ytsao opened 3 months ago
2
Adversarial example generation

#67 mhmd97z closed 3 months ago
1
Upper bound with Beta CROWN

#66 mhmd97z closed 3 months ago
1
Example using abcrown to verify visual transformer (ViT)

#65 chiraagChakravarthy closed 3 months ago
4
"NotImplementedError: bound_dynamic_forward is not implemented for BoundMaxPool(...)" encountered while attempting to run vnncomp23's vggnet16 benchmark

#64 SaiMadhavanG closed 3 months ago
1
AttributeError: 'Patches' object has no attribute 'permute'

#63 habeebp098 opened 5 months ago
1
Inconsistency in Verification Results and Issues with Network Scaling and torch.norm Usage

#62 KehanLong opened 5 months ago
2
It appears that there are missing indentations at line 501 and 502 in abcrown.py.

#61 xiaoyuanpigo closed 5 months ago
1
How to run abcrown.py from inside Python?

#60 mathisdon closed 3 months ago
1
Explanation of the contents of the results file "out.txt"?

#59 mathisdon opened 6 months ago
0
Out-Of-Memory Error / "Killed"

#58 jannickstrobel closed 3 months ago
1
AssertionError on act.inputs

#57 jannickstrobel closed 6 months ago
2
Can't install

#56 mathisdon closed 6 months ago
9
Documentation info and "save_adv_example" only saving last example

#55 ramonbejar opened 7 months ago
0
RuntimeError onnx network when verifying, while network works at inference

#54 AWbosman opened 8 months ago
0
Can I compute the upper bound using incomplete verifier?

#53 emiyacody closed 3 months ago
14
Unable to run BAB attack with any given configuration files

#52 yusf1013 opened 8 months ago
0
GCP-CROWN‘s SDP example error

#51 qj1204 opened 8 months ago
0
Fix the arguments existence check issue

#50 Lemutisme closed 6 months ago
2
alpha-beta-crown always returns timeout even for a very simple model

#49 kamdoumloich closed 5 months ago
1
alpha-beta-crown behavior

#48 mhmd97z opened 9 months ago
1
need help with Regression model and batch-normalization

#47 bazimian closed 9 months ago
1
CUDA out of memory

#46 41968 closed 5 months ago
6
Binary out.txt file

#45 swarupmohalik closed 5 months ago
1
BaB for Heaviside Activation Function

#44 mhmd97z opened 11 months ago
0
Query of theorem of handling residual networks with ADD layer

#43 JacksonZyy closed 9 months ago
1
Error when changing last layer's weight

#42 mhmd97z opened 1 year ago
2
Sequence of Conv1d Error

#41 mhmd97z closed 1 year ago
2
Update README.md

#40 kamdoumloich closed 1 year ago
1
PackagesNotFoundError when Creating Conda Environment for alpha-beta-CROWN

#39 r11942152 closed 1 year ago
2
RuntimeError: CUDA error: device-side assert triggered

#38 shuyilinn closed 5 months ago
2
environment.yaml file for Mac OS

#37 aferr closed 1 year ago
1
AssertionError Due to Certain Data

#36 r11942152 closed 11 months ago
3
Update vnn_comp.md

#35 kamdoumloich closed 1 year ago
0
unsqueeze+conv2d error

#34 mhmd97z closed 1 year ago
2
Cuda Requirement?

#33 ElizabethSotomayor closed 1 year ago
2
custome model error

#32 mhmd97z opened 1 year ago
7
Error running vnncomp22/vggnet16.yaml

#31 mhmd97z closed 1 year ago
3