DeepSaucer: Unified Environment for Verifying Deep Neural Networks

Naoto Sato, Hironobu Kuruma, Masanori Kaneko +4

In recent years, a number of methods for verifying DNNs have been developed. Because the approaches of the methods differ and have their own limitations, we think that a number of…