将神经网络验证扩展至更大一类分段线性激活函数
机器学习
2023-11-21 v1 人工智能
计算机科学中的逻辑
摘要
在本文中，我们扩展了现有的神经网络验证技术，以支持更广泛类别的分段线性激活函数。此外，我们将原本以精确或过度近似形式针对表示为起始集的有界输入集提供结果的算法，扩展为也允许无界输入集。我们实现了我们的算法，并在若干案例研究中展示了其有效性。
引用
@article{arxiv.2311.10780,
title = {Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions},
author = {László Antal and Hana Masara and Erika Ábrahám},
journal= {arXiv preprint arXiv:2311.10780},
year = {2023}
}
备注
In Proceedings FMAS 2023, arXiv:2311.08987