CheckINN: Wide Range Neural Network Verification in Imandra.

Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt

Browse the full PPDP paper archive.