DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting

被引：3
|
作者：
Chen, Shaoru [1 ]
Wong, Eric [2 ]
Kolter, J. Zico [3 ]
Fazlyab, Mahyar [4 ]
机构：
[1] University of Pennsylvania, Philadelphia,PA,19104, United States
[2] Massachusetts Institute of Technology, Cambridge,MA,02139, United States
[3] Carnegie Mellon University, Pittsburgh,PA,15213, United States
[4] Johns Hopkins University, Baltimore,MD,21218, United States
来源：
IEEE Open Journal of Control Systems | 2022年 / 1卷
关键词：
D O I：
10.1109/OJCSYS.2022.3187429
中图分类号：
学科分类号：
摘要：
49
引用
收藏
页码：126 / 140
相关论文
共 50 条
  • [21] Robustness Verification Boosting for Deep Neural Networks
    Feng, Chendong
    [J]. 2019 6TH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CONTROL ENGINEERING (ICISCE 2019), 2019, : 531 - 535
  • [22] ReluDiff: Differential Verification of Deep Neural Networks
    Paulsen, Brandon
    Wang, Jingbo
    Wang, Chao
    [J]. 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), 2020, : 714 - 726
  • [23] DeepDyve: Dynamic Verification for Deep Neural Networks
    Li, Yu
    Li, Min
    Luo, Bo
    Tian, Ye
    Xu, Qiang
    [J]. CCS '20: PROCEEDINGS OF THE 2020 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2020, : 101 - 112
  • [24] Formal Verification of Deep Neural Networks in Hardware
    Saji, Sincy Ann
    Agrawal, Shreyansh
    Sood, Surinder
    [J]. 2022 IEEE WOMEN IN TECHNOLOGY CONFERENCE (WINTECHCON): SMARTER TECHNOLOGIES FOR A SUSTAINABLE AND HYPER-CONNECTED WORLD, 2022,
  • [25] Approximate Conformance Verification of Deep Neural Networks
    Habeeb, P.
    Prabhakar, Pavithra
    [J]. NASA FORMAL METHODS, NFM 2024, 2024, 14627 : 223 - 238
  • [26] Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
    Liu, Jiaxiang
    Xing, Yunhan
    Shi, Xiaomu
    Song, Fu
    Xu, Zhiwu
    Ming, Zhong
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2024, 33 (05)
  • [27] Scalable Object Detection using Deep Neural Networks
    Erhan, Dumitru
    Szegedy, Christian
    Toshev, Alexander
    Anguelov, Dragomir
    [J]. 2014 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR), 2014, : 2155 - 2162
  • [28] Scalable and Modular Robustness Analysis of Deep Neural Networks
    Zhong, Yuyi
    Ta, Quang-Trung
    Luo, Tianzuo
    Zhang, Fanlong
    Khoo, Siau-Cheng
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2021, 2021, 13008 : 3 - 22
  • [29] Scalable Graph Neural Networks with Deep Graph Library
    Zheng, Da
    Wang, Minjie
    Gan, Quan
    Song, Xiang
    Zhang, Zheng
    Karypis, Geroge
    [J]. WSDM '21: PROCEEDINGS OF THE 14TH ACM INTERNATIONAL CONFERENCE ON WEB SEARCH AND DATA MINING, 2021, : 1141 - 1142
  • [30] Scalable Graph Neural Networks with Deep Graph Library
    Zheng, Da
    Wang, Minjie
    Gan, Quan
    Zhang, Zheng
    Karypis, Geroge
    [J]. KDD '20: PROCEEDINGS OF THE 26TH ACM SIGKDD INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY & DATA MINING, 2020, : 3521 - 3522
12345