ExAIs: Executable AI semantics

• Main Authors: SCHUMI, Richard, SUN, Jun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2022
• Subjects: AI frameworks; AI libraries; deep learning models; semantics; specification; test case generation; model validation; AI model generation; Artificial Intelligence and Robotics; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/7779; https://ink.library.smu.edu.sg/context/sis_research/article/8782/viewcontent/ExAIs_2022_av.pdf
• Institution: Singapore Management University

Neural networks can be regarded as a new programming paradigm, i.e., instead of building ever-more complex programs through (often informal) logical reasoning in the programmers' mind, complex 'AI' systems are built by optimising generic neural network models with big data. In this ne...