Proj CDeepFuzz Paper Reading: ExAIS: Executable ai semantics

Abstract

背景：Neural networks can be regarded as a new programming paradigm, Tensorflow 和PyTorch相当于Compiler，我们已知如果编译器缺乏Specification
本文：ExAIS
Task: provide a correctness specification of neural network frameworks, specify the semanctics of almost all layers in Prolog
ExpTask: to demonstrate the usefulness of semantics: 1. fuzzing engine for Tensorflow 2. model validation for consistent bug reporting