ASE 2022 (series) / Artifact Evaluation / Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks![Reusable](https://conf.researchr.org/getImageFile/bcc7b8bf-46ed-4a1b-bc92-e2d12ffd7240/small?1662649854000)
Github link: https://github.com/zhangzhaodi233/NeWise