TY - RPRT TI - Architecture-Preserving Provable Repair of Deep Neural Networks AU - Zhe Tao AU - Stephanie Nawas AU - Jacqueline Mitchell AU - Aditya V. Thakur PY - 2023 DO - 10.1145/3591238 UR - https://arxiv.org/abs/2304.03496 ID - 2304.03496 ER -