3 papers
cs.LG2023
Verifying Generalization in Deep Learning
Guy Amir, Osher Maayan, Tom Zelazny +2
Deep neural networks (DNNs) are the workhorses of deep learning, which constitutes the state of the art in numerous application domains. However, DNN-based decision rules are notor…
cs.LG2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks
Xingwu Guo, Ziwei Zhou, Yueling Zhang +2
Occlusion is a prevalent and easily realizable semantic perturbation to deep neural networks (DNNs). It can fool a DNN into misclassifying an input image by occluding some segments…
cs.SE2023
Enhancing Deep Learning with Scenario-Based Override Rules: a Case Study
Adiel Ashrov, Guy Katz
Deep neural networks (DNNs) have become a crucial instrument in the software development toolkit, due to their ability to efficiently solve complex problems. Nevertheless, DNNs are…