Announcement
Dissertation Final Defense Submission
Dissertation Title: Robustness Verification of Recurrent Neural Networks with Abstraction Refinement
Name: Li-Jen Lin
Student ID: 112356xxx
Instructor: Dr. Chih-Duo Hong
Final defense committee members: Dr. Chih-Duo Hong, Dr. Fang Yu, Dr. Jiing-Yao Chang
Time: 05/11/2026 09:00~10:00
Place: College of Commerce Room 260905
