Comments (2)
Thank you for reaching out!
It is very normal that some images have "unknown" verification results. alpha-beta-CROWN is complete in the sense that given an infinite time it will produce an answer. However, NN verification is theoretically an NP-complete problem, and there are hard instances that cannot be solved quickly. All the complete verifiers so far just try to solve as many as possible given a specific timeout limit. You can try to increase the timeout, however, on most networks, we won't expect it to solve completely within a few minutes timeout.
from alpha-beta-crown.
Thanks for your explanation!
from alpha-beta-crown.
Related Issues (20)
- UnsatisfiableError when creating conda environment using environment.yml HOT 4
- auto_LiRPA runtime error for self-built onnx network HOT 9
- About the output when running on a ResNet18 pretrained model HOT 3
- AssertionError when running my model HOT 12
- Randomness of visited subdomains HOT 2
- Support SiLU activation function HOT 1
- Index error when running self-defined pytorch model HOT 2
- Support for Softmax HOT 3
- Help not displayed. HOT 1
- Where can the user get the adversarial example when ab-crown return unsafe result? HOT 3
- MIP Verification error HOT 3
- Integer variables support HOT 1
- assert not sparse_intermediate_bounds or use_sparse_conv is False HOT 2
- Input linear constraint HOT 4
- Use norms other then linf HOT 1
- Error running vnncomp22/vggnet16.yaml HOT 3
- custome model error HOT 7
- Cuda Requirement? HOT 2
- unsqueeze+conv2d error HOT 2
- AssertionError Due to Certain Data HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from alpha-beta-crown.