Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa. An Experience Report on Regression-Free Repair of Deep Neural Network Model. SANER. 2023. 778-782
Satoshi Munakata, Susumu Tokumoto, Koji Yamamoto 0002, Kazuki Munakata. Towards Formal Repair and Verification of Industry-scale Deep Neural Networks. ICSE Companion. 2023. 360-364