@inproceedings{brown2022unified,
  title={A Unified View of SDP-based Neural Network Verification through Completely Positive Programming},
  author={Brown, Robin A and Schmerling, Edward and Azizan, Navid and Pavone, Marco},
  booktitle={International Conference on Artificial Intelligence and Statistics},
  pages={9334--9355},
  year={2022},
  organization={PMLR}
}