NN4SysBench: Characterizing Neural Network Verification for Computer Systems - Lin, Shuyi; He, Haoyu; Wei, Tianhao; Xu, Kaidi; Zhang, Huan; Singh, Gagandeep; Liu, Changliu; Tan, Cheng (Advances in Neural Information Processing Systems, 2024)