# AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

> Research article (2018 IEEE Symposium on Security and Privacy (SP), 2018) · cited 809× · AI/ML

**Wikidata**: [openalex:W2794609696](https://www.wikidata.org/wiki/openalex:W2794609696)  
**Source**: https://4ort.xyz/entity/ai2-safety-and-robustness-certification-of-neural-networks-with-abstract-interpretation