NN4SysBench: Characterizing Neural Network Verification for Computer Systems

Shuyi Lin, Haoyu He, Tianhao Wei, Kaidi Xu, Huan Zhang +3 more
2/3/2026
DOISemantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{lin2026nnsysbench,
  title  = {NN4SysBench: Characterizing Neural Network Verification for Computer Systems},
  author = {Shuyi Lin and Haoyu He and Tianhao Wei and Kaidi Xu and Huan Zhang and Gagandeep Singh and Changliu Liu and Cheng Tan},
  year   = {2026},
  doi    = {10.52202/079017-2900},
  url    = {https://doi.org/10.52202/079017-2900},
  journal = {NEURIPS 2024 2024}
}

Discussion