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