使用 iSAT 验证 Sigmoid 人工神经网络
人工智能
2022-07-15 v1 机器学习
符号计算
摘要
本文提出一种验证网络物理安全关键系统中非线性人工神经网络(ANNs)行为的方法。我们在 SMT 求解器 iSAT 中实现了针对 sigmoid 函数的专用区间约束传播器，并将该方法与用 iSAT 中可用基本算术特征编码 sigmoid 函数的组合方法以及一种逼近方法进行比较。实验结果表明，专用方法与组合方法明显优于逼近方法。在所有基准测试中，专用方法表现出与组合方法相当或更好的性能。
引用
@article{arxiv.2207.06755,
title = {Verification of Sigmoidal Artificial Neural Networks using iSAT},
author = {Dominik Grundt and Sorin Liviu Jurj and Willem Hagemann and Paul Kröger and Martin Fränzle},
journal= {arXiv preprint arXiv:2207.06755},
year = {2022}
}
备注
In Proceedings SNR 2021, arXiv:2207.04391