@article{provablytightestlinearapproximationfor, title = {Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks}, author = {Zhaodi Zhang and Yiting Wu and Si Liu and Jing Liu and Min Zhang}, year = {2022}, eprint = {2208.09872}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2208.09872v1}, }