DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S).

Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun

Browse the full SEKE paper archive.