Satoshi Munakata, Susumu Tokumoto, Koji Yamamoto 0002, Kazuki Munakata. Towards Formal Repair and Verification of Industry-scale Deep Neural Networks. In 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, Melbourne, Australia, May 14-20, 2023. pages 360-364, IEEE, 2023. [doi]
Abstract is missing.