混合zonotope精确表征ReLU神经网络
机器学习
2023-04-07 v1 系统与控制
系统与控制
摘要
我们证明混合zonotope为带ReLU激活函数的前馈全连接神经网络提供了一种等价表征。我们的方法表明，二元变量的复杂度等于网络中神经元的总数，因而随网络规模线性增长。我们通过三个案例研究展示了混合zonotope公式的效用，包括非线性函数逼近、MPC闭环可达性与验证，以及MNIST数据集上分类的鲁棒性。
引用
@article{arxiv.2304.02755,
title = {Hybrid Zonotopes Exactly Represent ReLU Neural Networks},
author = {Joshua Ortiz and Alyssa Vellucci and Justin Koeln and Justin Ruths},
journal= {arXiv preprint arXiv:2304.02755},
year = {2023}
}