Common

We thank the reviewers for their helpful feedback which has strengthened the paper. Thank you for the feedback. We will revise to clarify. Sections 5.1 and 5.2 derive an eigenvalue optimization formulation for neural network verification. We'll add this note to the caption.