Lin, Shuyi

1 publications

NeurIPS 2024 NN4SysBench: Characterizing Neural Network Verification for Computer Systems Shuyi Lin, Haoyu He, Tianhao Wei, Kaidi Xu, Huan Zhang, Gagandeep Singh, Changliu Liu, Cheng Tan