neural-network-veri

There are 1 repository under neural-network-veri topic.

dynaroars / neuralsat
DPLL(T)-based Verification tool for DNNs
abstraction adversarial-attacks ai-assurance ai-safety dnn-verification dpll robustness robustness-verification sat-solver software-verification neural-network-veri
Language:Python 10