APA (7th ed.) Citation

Roy, A., Antony, A., Gimelli, A., & Daggitt, M. L. (2026). VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Roy, Ann, et al. VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification. 2026.