教學大綱 Syllabus

科目名稱:創新科技技術

Course Name: Innovative Information Technology

修別:必

Type of Credit: Required

3.0

學分數

Credit(s)

20

預收人數

Number of Students

課程資料Course Details

課程簡介Course Description

This course will focus on the recent developments of Explainable and Safe AI. Explainable AI refers to a family of machine learning and analysis techniques that produce human-understandable machine learning models without sacrificing too much expressive power and prediction accuracy. For existing black box models, Explainable AI aims to generate post-hoc explanations capturing the cause and effect within the decision process of the model. Safe AI explores approaches to produce machine learning models that are robust to environmental noise and adversarial attacks. For trained models, Safe AI assesses if the model is stable and free of vulnerabilities. Explainable and Safe AI has been playing a critical role in realizing the ultimate goal of Trustworthy AI: artificial intelligence that is lawful, ethically adherent, and technically robust in each stage of its lifecycle, from design to development, deployment, and practice.

核心能力分析圖 Core Competence Analysis Chart

能力項目說明


    課程目標與學習成效Course Objectives & Learning Outcomes

    The main course objective is to introduce up-to-date approaches for dealing with AI explainability and safety issues, equipping students with not only technical knowledge but also hands-on practical skills. At the end of this course, students should gain (1) general knowledge of the landscape of Explainable and Safe AI; (2) deep understanding of representative methods developed in the literature; (3) hands-on tool practice and development experience for enhancing machine learning explainability and safety.

    每周課程進度與作業要求 Course Schedule & Requirements

    教學週次Course Week 彈性補充教學週次Flexible Supplemental Instruction Week 彈性補充教學類別Flexible Supplemental Instruction Type

    週次

    Week

    課程主題

    Topic

    課程內容與指定閱讀

    Content and Reading Assignment

    學習投入時間

    Student workload expectation

    課堂講授

    In-class Hours

    課程前後

    Outside-of-class Hours

    1

    Explainable AI Overview

    Amina Adadi and Mohammed Berrada: Peeking Inside the Black-Box: A Survey on Explainable Artificial Intelligence (XAI), 2018

    3

    6

    2

    Safe AI
    Overview

    Sina Mohseni, et al.: Taxonomy of Machine Learning Safety: A Survey and Primer, 2022

    3

    6

    3

    AI Fairness
    Overview

    Solon Barocas et at.: Fairness and Machine Learning, 2022

    3

    6

    4

    Logic-based Explainable AI

    Marques Silva: Logic-Based Explainability in Machine Learning, 2022

    3

    6

    5

    3

    6

    6

    Trustworthy AI Overview

    Xiaowei Huang et al.: A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defense, and Interpretability, 2020

    3

    6

    7

    Abstract
    Interpretation

    Yizhak Yisrael Elboher et al.: An abstraction-based framework for neural network verification. CAV 2020.

    3

    6

    8

    AI2

    Timon Gehr et al.: Ai2: Safety and robustness certification of neural networks with abstract interpretation. S&P 2018

    3

    6

    9

    Symbolic Execution

    Guy Katz et al.: An efficient smt solver for verifying deep neural networks. CAV 2017.

    3

    6

    10

    CEGAR

    Guy Katz et al.: The marabou framework for verification and analysis of deep neural networks. CAV 2019.

    3

    6

    11

    Guided Testing

    Jinhan Kim et al.: Guiding deep learning system
    testing using surprise adequacy. ICSE 2019.

    3

    6

    12

    Concolic Testing

    Youcheng Sun et al.: Concolic testing for deep neural net-
    works. ASE 2018

    3

    6

    13

    Certified Neural Network

    Gagandeep Singh et al.: An abstract domain for certifying neural networks. POPL 2019

    3

    6

    14

    Huan Zhang et al.: Efficient neural network robustness certification with general activation functions. NIPS 2018.

    3

    6

    15

    Bohang Zhang et al.: Towards certifying l-infinity robustness using neural networks with l-inf-dist neurons. ICML 2021

    3

    6

    16

    Symbolic Analysis

    Shiqi Wang rt al.: Formal security analysis of neural networks using symbolic intervals. USENIX Security 2018

    3

    6

    17

    Coverage

    Zenan Li et al.: Structural coverage criteria for neural networks could be misleading. ICSE-NIER, 2019

    3

    6

    18

    Xiaofei Xie et al.: Npc: Neuron path coverage via characterizing decision logic of deep neural networks. ACM TOSEM 2022

    3

    6

     

    授課方式Teaching Approach

    50%

    講述 Lecture

    50%

    討論 Discussion

    0%

    小組活動 Group activity

    0%

    數位學習 E-learning

    0%

    其他: Others:

    評量工具與策略、評分標準成效Evaluation Criteria

    Grading Scheme: Report 50% / Project 50%

    Students are required to write a term report and finish a final project to demonstrate their understanding of the course materials.
     

    指定/參考書目Textbook & References

    已申請之圖書館指定參考書目 圖書館指定參考書查詢 |相關處理要點

    維護智慧財產權,務必使用正版書籍。 Respect Copyright.

    課程相關連結Course Related Links

    
                

    課程附件Course Attachments

    課程進行中,使用智慧型手機、平板等隨身設備 To Use Smart Devices During the Class

    Yes

    列印