# Efficient Neural Network Verification with Exactness Characterization

> Research article (Uncertainty in Artificial Intelligence, 2019) · cited 26× · AI/ML

**Wikidata**: [openalex:W2965187570](https://www.wikidata.org/wiki/openalex:W2965187570)  
**Source**: https://4ort.xyz/entity/efficient-neural-network-verification-with-exactness-characterization