dynaroars / neuralsat Star 12 Code Issues Pull requests Discussions DPLL(T)-based Verification tool for DNNs abstraction sat-solver software-verification ai-safety robustness dpll adversarial-attacks robustness-verification dnn-verification ai-assurance neural-network-veri Updated Aug 6, 2024 Python
dwil2444 / DNN_Attention Star 0 Code Issues Pull requests Identifying salient image regions in Deep Neural Network Classifications. computer-vision pytorch rise xai dnn-verification Updated Sep 3, 2022 Jupyter Notebook
shchae7 / dnn_verification Star 0 Code Issues Pull requests Discussions Repo containing scripts to install & use various DNN verification methods dnn-verification Updated Feb 26, 2021 Shell