VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification. - Ann Roy; Allen Antony; Andrea Gimelli; Matthew L. Daggitt (CoRR, 2026)