AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation on ShortScience.org

doi.ieeecomputersociety.org
sci-hub
scholar.google.com

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Gehr, Timon and Mirman, Matthew and Drachsler-Cohen, Dana and Tsankov, Petar and Chaudhuri, Swarat and Vechev, Martin T.
IEEE Computer Society IEEE Symposium on Security and Privacy - 2018 via Local Bibsonomy
Keywords: dblp

Summaries/Notes 1

Write your summary here (You can use $\LaTeX$ and markdown syntax):

Anon Private

ShortScience.org allows researchers to publish paper summaries that are voted on and ranked!
About

Sponsored by: