# Formal Security Analysis of Neural Networks using Symbolic Intervals

> Research article (arXiv (Cornell University), 2018) · cited 166× · AI/ML

**Wikidata**: [openalex:W2963735478](https://www.wikidata.org/wiki/openalex:W2963735478)  
**Source**: https://4ort.xyz/entity/formal-security-analysis-of-neural-networks-using-symbolic-intervals