TY - RPRT TI - A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations AU - Sahel Vahedi Noori AU - Bin Hu AU - Geir Dullerud AU - Peter Seiler PY - 2024 UR - https://arxiv.org/abs/2407.06888 ID - 2407.06888 ER -