NeVer 2.0：深度神经网络的学习、验证与修复
机器学习
2020-11-20 v1 软件工程
摘要
在这项工作中，我们展示了NeVer 2.0的早期原型，这是一个用于深度神经网络自动化合成与分析的新系统。NeVer 2.0的设计哲学借鉴自NeVer——首个将（浅层）神经网络的学习、自动化验证与修复集成于单一工具中的软件包。NeVer 2.0的目标是通过借助一组最先进的学习框架并将其与验证算法集成，以缓解可扩展性挑战并使故障网络的修复成为可能，从而为深度网络提供类似的集成。
引用
@article{arxiv.2011.09933,
title = {NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks},
author = {Dario Guidotti and Luca Pulina and Armando Tacchella},
journal= {arXiv preprint arXiv:2011.09933},
year = {2020}
}
备注
arXiv admin note: text overlap with arXiv:2003.07636