Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: neural-network-veri

dynaroars/neuralsat

DPLL(T)-based Verification tool for DNNs

Language: Python - Size: 627 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 16 - Forks: 1

Related Keywords
abstraction 1 adversarial-attacks 1 ai-assurance 1 ai-safety 1 dnn-verification 1 dpll 1 neural-network-veri 1 robustness 1 robustness-verification 1 sat-solver 1 software-verification 1