INFO:

在本次演讲中，将探索用于解释和验证AI模型的全面工作流程。通过一个例子讨论帮助我们理解神经网络内部工作原理的可解释性方法。此外，还将介绍如何利用深度学习工具箱形式化验证神经网络的鲁棒性，并确定在推理期间看到的数据是否在原有数据分布之外。