APA (7th ed.) Citation

Chiu, H., Chen, H., Zhang, H., & Zhang, R. Y. (2025). SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming.

Chicago Style (17th ed.) Citation

Chiu, Hong-Ming, Hao Chen, Huan Zhang, and Richard Y. Zhang. SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming. 2025.

MLA (9th ed.) Citation

Chiu, Hong-Ming, et al. SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming. 2025.