APA (7th ed.) Citation

Liang, Z., Wu, T., Zhao, R., Xue, B., Wang, J., Yang, W., . . . Liu, W. (2024). UR4NNV: Neural Network Verification, Under-approximation Reachability Works!

Chicago Style (17th ed.) Citation

Liang, Zhen, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, and Wanwei Liu. UR4NNV: Neural Network Verification, Under-approximation Reachability Works! 2024.

MLA (9th ed.) Citation

Liang, Zhen, et al. UR4NNV: Neural Network Verification, Under-approximation Reachability Works! 2024.