Announcement_2
Our paper “NN4SysBench: Characterizing Neural Network Verification for Computer Systems” is accepted to NeurIPS 2024! Code and pdfs will be released soon.
Our paper “NN4SysBench: Characterizing Neural Network Verification for Computer Systems” is accepted to NeurIPS 2024! Code and pdfs will be released soon.