TY - RPRT TI - Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks AU - Brendon G. Anderson AU - Samuel Pfrommer AU - Somayeh Sojoudi PY - 2023 UR - https://arxiv.org/abs/2310.04916 ID - 2310.04916 ER -