Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach

被引：0
|
作者：
Jafarpour, Saber [1 ]
Abate, Matthew [1 ]
Davydov, Alexander [2 ]
Bullo, Francesco [2 ]
Coogan, Samuel [1 ]
机构：
[1] Georgia Institute of Technology, United States
[2] University of California, Santa Barbara, United States
来源：
Proceedings of Machine Learning Research | 2022年 / 168卷
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computation theory - Embedded systems - Learning systems - Multilayer neural networks - System theory
引用
收藏
页码：917 / 930
相关论文
共 50 条
  • [1] Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach
    Jafarpour, Saber
    Abate, Matthew
    Davydov, Alexander
    Bullo, Francesco
    Coogan, Samuel
    LEARNING FOR DYNAMICS AND CONTROL CONFERENCE, VOL 168, 2022, 168
  • [2] Implicit Graph Neural Networks: A Monotone Operator Viewpoint
    Baker, Justin
    Wang, Qingsong
    Hauck, Cory
    Wang, Bao
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 202, 2023, 202
  • [3] Robustness of Neural Networks: A Probabilistic and Practical Approach
    Mangal, Ravi
    Noi, Aditya, V
    Orso, Alessandro
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2019), 2019, : 93 - 96
  • [4] Monotone and Partially Monotone Neural Networks
    Daniels, Hennie
    Velikova, Marina
    IEEE TRANSACTIONS ON NEURAL NETWORKS, 2010, 21 (06): : 906 - 917
  • [5] A contractive approach to separable Lyapunov functions for monotone systems
    Coogan, Samuel
    AUTOMATICA, 2019, 106 : 349 - 357
  • [6] Fastened CROWN: Tightened Neural Network Robustness Certificates
    Lyu, Zhaoyang
    Ko, Ching-Yun
    Kong, Zhifeng
    Wong, Ngai
    Lin, Dahua
    Daniel, Luca
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 5037 - 5044
  • [7] PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach
    Weng, Tsui-Wei
    Chen, Pin-Yu
    Nguyen, Lam M.
    Squillante, Mark S.
    Boopathy, Akhilan
    Oseledets, Ivan
    Daniel, Luca
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 97, 2019, 97
  • [8] STABILITY IN CONTRACTIVE NONLINEAR NEURAL NETWORKS
    KELLY, DG
    IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, 1990, 37 (03) : 231 - 242
  • [9] Tighter Risk Certificates for Neural Networks
    Perez-Ortiz, Maria
    Rivasplata, Omar
    Shawe-Taylor, John
    Szepesvari, Csaba
    JOURNAL OF MACHINE LEARNING RESEARCH, 2021, 22
  • [10] A Geometrical Approach to Evaluate the Adversarial Robustness of Deep Neural Networks
    Wang, Yang
    Dong, Bo
    Xu, Ke
    Piao, Haiyin
    Ding, Yufei
    Yin, Baocai
    Yang, Xin
    ACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS, 2023, 19 (05)
12345