Semantic-based neural network repair

• Main Authors: SCHUMI, Richard, SUN, Jun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2023
• Subjects: automatic AI model repair; deep learning models; semantics; specification; AI model generation; neural network generation; TensorFlow; Prolog; Artificial Intelligence and Robotics; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/8117; https://ink.library.smu.edu.sg/context/sis_research/article/9120/viewcontent/3597926.3598045_pvoa.pdf
• Institution: Singapore Management University

Recently, neural networks have spread into numerous fields including many safety-critical systems. Neural networks are built (and trained) by programming in frameworks such as TensorFlow and PyTorch. Developers apply a rich set of pre-defined layers to manually program neural networks or to automati...