TY  - RPRT
TI  - Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks
AU  - Zhaodi Zhang
AU  - Yiting Wu
AU  - Si Liu
AU  - Jing Liu
AU  - Min Zhang
PY  - 2022
UR  - https://arxiv.org/abs/2208.09872
ID  - 2208.09872
ER  -