Write a Blog >>
ASE 2022
Mon 10 - Fri 14 October 2022 Oakland Center, Michigan, United States
ASE 2022 (series) / Artifact Evaluation /

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

Reusable
Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
ASE 2022 Artifact Evaluation

Github link: https://github.com/zhangzhaodi233/NeWise

https://doi.org/10.5281/zenodo.6945161
small-avatar
Zhaodi Zhang
East China Normal University
small-avatar
Yiting Wu
East China Normal University
Si Liu
Si Liu
ETH Zurich
Switzerland
small-avatar
Jing Liu
East China Normal University
Min Zhang
Min Zhang
East China Normal University
China