TY  - RPRT
TI  - VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification
AU  - Ann Roy
AU  - Allen Antony
AU  - Andrea Gimelli
AU  - Matthew L. Daggitt
PY  - 2026
UR  - https://arxiv.org/abs/2605.07451
ID  - 2605.07451
ER  -