Towards Formal Repair and Verification of Industry-scale Deep Neural Networks.

Satoshi Munakata, Susumu Tokumoto, Koji Yamamoto, Kazuki Munakata

Browse the full ICSE paper archive.