公告論文口試審核

論文題目：基於抽象精煉的遞迴神經網路強健性驗證

口試者姓名：林立仁

口試者學號：112356xxx

指導教授：洪智鐸

口試委員：洪智鐸、郁方、張景堯

時間： 2026 年  5 月 11 日 上 午 9 時 00 分

地點：  商學院260905  研討室

民國 115 年 4 月 23 日