We lifted 13 functions out of this paper's own repositories and ran 8 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 |
|---|---|---|
| bu-depend-lab/reassure | canonical | 8 of 13 |
| Function | Status | Where it lives |
|---|---|---|
| compare_models_on_dataloader | Ran | bu-depend-lab/reassure/REASSURE/ExperimentTools.py code served (permissive licence) · get_code("233a564117bdfcb5") |
| constraints_from_labels | Ran | bu-depend-lab/reassure/REASSURE/ExperimentTools.py code served (permissive licence) · get_code("e314d6144e9ce6cc") |
| construct_block_matrix | Ran | bu-depend-lab/reassure/REASSURE/Tools.py code served (permissive licence) · get_code("b142724749abe662") |
| find_buggy_inputs | Ran | bu-depend-lab/reassure/REASSURE/ExperimentTools.py code served (permissive licence) · get_code("ff48389def1d5526") |
| find_buggy_inputs | Ran | bu-depend-lab/reassure/ICLR/Experiments/exp_tools.py code served (permissive licence) · get_code("514c573f51772719") |
| get_linear_region | Ran | bu-depend-lab/reassure/REASSURE/Tools.py code served (permissive licence) · get_code("80b200c9b1dfb9f9") |
| specification_matrix_from_labels | Ran | bu-depend-lab/reassure/ICLR/Experiments/exp_tools.py code served (permissive licence) · get_code("6887baf1eea3e47c") |
| test_diff_on_dataloader | Ran | bu-depend-lab/reassure/ICLR/Experiments/exp_tools.py code served (permissive licence) · get_code("83b115222955c019") |
| find_cex | Not yet run | bu-depend-lab/reassure/ICLR/Experiments/HCAS/find_cex.py code served (permissive licence) · get_code("0f6eb1ab12223eed") |
| imagenet_test_diff | Not yet run | bu-depend-lab/reassure/ICLR/Experiments/ImageNet/ImageNetTools.py code served (permissive licence) · get_code("f2f6bd7d1e943264") |
| linearize_model | Not yet run | bu-depend-lab/reassure/REASSURE/Tools.py code served (permissive licence) · get_code("a42894d62574bfe8") |
| load_test_data | Not yet run | bu-depend-lab/reassure/ICLR/Experiments/ImageNet/ImageNetTools.py code served (permissive licence) · get_code("0414b3043c518f80") |
| read_imagenet_by_index | Not yet run | bu-depend-lab/reassure/ICLR/Experiments/ImageNet/ImageNetTools.py code served (permissive licence) · get_code("9406edb1e6e2ebbf") |
Some links come from the archived Papers with Code dataset (CC BY-SA 4.0): attribution and licence.
We present a novel methodology for repairing neural networks that use ReLU activation functions. Unlike existing methods that rely on modifying the weights of a neural network which can induce a global change in the function space, our approach applies only a localized change in the function space while still guaranteeing the removal of the buggy behavior. By leveraging the piecewise linear nature of ReLU networks, our approach can efficiently construct a patch network tailored to the linear region where the buggy input resides, which when combined with the original network, provably corrects the behavior on the buggy input. Our method is both sound and complete -- the repaired network is guaranteed to fix the buggy input, and a patch is guaranteed to be found for any buggy input. Moreover, our approach preserves the continuous piecewise linear nature of ReLU networks, automatically generalizes the repair to all the points including other undetected buggy inputs inside the repair region, is minimal in terms of changes in the function space, and guarantees that outputs on inputs away from the repair region are unaltered. On several benchmarks, we show that our approach significantly outperforms existing methods in terms of locality and limiting negative side effects. Our code is available on GitHub: https://github.com/BU-DEPEND-Lab/REASSURE.
The same record, over MCP at https://syntology.ai/mcp:
get_harvested_code_for_paper("2110.07682")
get_code_for_paper("2110.07682")
have("2110.07682")
Connect an agent — have() is free.