神经网络自动验证：进展、挑战与展望
人工智能
2018-05-28 v1 机器学习
摘要
神经网络是机器学习中最受研究且被广泛使用的技术之一。尽管取得了成功，它们在安全与安保相关领域的应用仍然有限，在这些领域中必须提供关于网络性能的保证。近期，多位研究者提出了自动推理技术，以弥合神经网络与需要对其行为提供形式保证的应用之间的差距。在本工作中，我们提供了此类技术的入门介绍，并对现有的神经网络自动验证方法进行了全面分类。我们讨论了当前的局限性与未来研究的方向，以促进这一处于机器学习与自动推理交叉领域的研究。
引用
@article{arxiv.1805.09938,
title = {Automated Verification of Neural Networks: Advances, Challenges and Perspectives},
author = {Francesco Leofante and Nina Narodytska and Luca Pulina and Armando Tacchella},
journal= {arXiv preprint arXiv:1805.09938},
year = {2018}
}