深度学习的形式化方法和软件工程 深度学习系统开发的安全性、安全性和生产力

深度学习 (DL) 技术现在很普遍，并被集成到许多重要系统中。 它们的分类和识别能力确保了它们与多个应用领域的相关性。 作为依赖于训练而不是算法编程的机器学习，它们提供了高度的生产力。 但它们可能容易受到攻击，并且验证它们的正确性才刚刚成为一种科学和工程可能性。 本文是对先前发布的调查的重大更新，试图涵盖该领域的所有最新出版物。 它还涵盖了最近的趋势，即用于生成和训练神经网络的特定领域语言的设计。