西南大学计信院前沿学术报告
Southwest University IT Faculty Seminar
报告题目：深度神经网络：从验证到泛化
时间：2020年12月10日（星期四）上午10:00-11:30
地点：西南大学计算机与信息科学学院1320会议室
报告人：中国科学院软件研究所 张立军 研究员
报告人简介：
张立军，中科院软件所计算机科学国家重点实验室研究员，广州市智能软件产业研究院可靠和智能软件中欧联合实验室主任。张立军研究员于德国Saarland大学获得博士学位，随后担任英国牛津大学博士后、丹麦技术大学副教授等职位。他的研究兴趣包括：概率模型检验、判定算法、学习算法、深度神经网络验证等。他目前领导一系列工具开发，包括神经网络验证工具PRODeep、自动机学习工具ROLL、模型检验工具ePMC等。
内容摘要：
在本报告中，我们对深度神经网络验证的主流技术和工具进行了综述，尤其是用于描述神经网络安全性质的鲁棒性概念。此外，我们研究了深度神经网络中的权重相关性（weight correlation）这一全新概念，讨论了其对网络泛化能力的影响。我们认为权重相关性能够提高神经网络的泛化能力。最后我们讨论了如何将权重相关性和鲁棒性紧密结合以获得可靠的神经网络。
