Announcement_2

Created in October 31, 2024

2024

Our paper “NN4SysBench: Characterizing Neural Network Verification for Computer Systems” is accepted to NeurIPS 2024!