4/15(三) Towards Provably Robust AI: From Empirical Defenses to Certified Guarantees 主講人: 陳尚澤副教授(國立臺灣大學資訊工程學系)