Shuyi Lin

NN4SysBench: Characterizing Neural Network Verification for Computer Systems

We present NN4SysBench, a benchmark suite for neural network verification that is composed of applications from the domain of computer systems. We call these neural networks for computer systems or NN4Sys. NN4Sys is booming: there are many proposals for using neural networks in computer systems—for…