Fast, formal, local eXplainable artificial intelligence for neural network

• Main Author: Wong, Laurentius Reynald
• Other Authors: Thomas Peyrin
• Format: Final Year Project
• Language: English
• Published: Nanyang Technological University 2024
• Subjects: Engineering
• Online Access: https://hdl.handle.net/10356/176177
• Institution: Nanyang Technological University

The impact of artificial intelligence has transformed our daily lives, enabling us to complete tasks with ease. However, its application in critical areas such as autonomous vehicles, healthcare, and finance presents safety concerns. The lack of transparency in AI, functioning as a black box, leaves...