VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification.

Ann Roy, Allen Antony, Andrea Gimelli, Matthew L. Daggitt

Browse the full CAV paper archive.