no code implementations • 3 Aug 2020 • Ivan Papusha, Rosa Wu, Joshua Brulé, Yanni Kouskoulas, Daniel Genin, Aurora Schmidt
There is great interest in using formal methods to guarantee the reliability of deep neural networks.