# Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks

> Research article (Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022) · cited 11× · AI/ML

**Wikidata**: [openalex:W4292955347](https://www.wikidata.org/wiki/openalex:W4292955347)  
**Source**: https://4ort.xyz/entity/provably-tightest-linear-approximation-for-robustness-verification-of-sigmoid-like-neural-networks