# Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis

> Research article (Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023) · cited 10× · AI/ML

**Wikidata**: [openalex:W4375851954](https://www.wikidata.org/wiki/openalex:W4375851954)  
**Source**: https://4ort.xyz/entity/automatic-abstraction-refinement-in-neural-network-verification-using-sensitivity-analysis