报告主题：利用线性规划验证深度神经网络的鲁棒性
报告人: 杨争峰 副教授 (华东师范大学软件学学院)
报告时间：2019年9月30日（周一）11:00
报告地点: 校本部E408
邀请人：曾振柄教授
主办部门：理学院数学系
报告摘要：
由于深度神经网络已经广泛应用于各种嵌入式系统，急需对于其鲁棒性进行验证。已有芳芳仰赖于计算输出的过近似，由于误差累积原因，实际上难于实用。我们发展了一个新方法，可以有效处理激活函数时Sigmoid函数的情况。该方法把鲁棒性验证转化为对于输入区域的若干风险点的控制，将问题转化为相关的非线性优化问题。其中约束条件可以采用线性松弛方法处理，最后转化为线性规划问题。与其他方法的比较说明了我们所建立的方法的有效性和可靠性。
欢迎教师、学生参加！
