# Efficient Formal Safety Analysis of Neural Networks

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

**Wikidata**: [openalex:W2890660842](https://www.wikidata.org/wiki/openalex:W2890660842)  
**Source**: https://4ort.xyz/entity/efficient-formal-safety-analysis-of-neural-networks