@misc{indiciae078035544c41,
  title = {SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming},
  author = {Hong-Ming Chiu and Hao Chen and Huan Zhang and Richard Y. Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2506.06665},
  note = {Source identifier: 2506.06665}
}