We lifted 1 functions out of this paper's own repositories and ran 1 of them in a sandbox. "Ran" means the function executed on a synthesized input and returned a value. It is not a reproduction of the paper's results.
| Repository | Role | Ran |
|---|---|---|
| copy not recorded | — | 1 of 1 |
| Function | Status | Where it lives |
|---|---|---|
| get_net_name | Ran | this paper's copy was not recorded; identical code first harvested from uiuc-arc/incremental-dnn-verification pointer only · get_code("e0c085bb019b154d") |
Some links come from the archived Papers with Code dataset (CC BY-SA 4.0): attribution and licence.
Complete verification of deep neural networks (DNNs) can exactly determine whether the DNN satisfies a desired trustworthy property (e.g., robustness, fairness) on an infinite set of inputs or not. Despite the tremendous progress to improve the scalability of complete verifiers over the years on individual DNNs, they are inherently inefficient when a deployed DNN is updated to improve its inference speed or accuracy. The inefficiency is because the expensive verifier needs to be run from scratch on the updated DNN. To improve efficiency, we propose a new, general framework for incremental and complete DNN verification based on the design of novel theory, data structure, and algorithms. Our contributions implemented in a tool named IVAN yield an overall geometric mean speedup of 2.4x for verifying challenging MNIST and CIFAR10 classifiers and a geometric mean speedup of 3.8x for the ACAS-XU classifiers over the state-of-the-art baselines.
The same record, over MCP at https://syntology.ai/mcp:
get_harvested_code_for_paper("2304.01874")
get_code_for_paper("2304.01874")
have("2304.01874")
Connect an agent — have() is free.