A Certified Proof Checker for Deep Neural Network Verification in Imandra.

Remi Desmartin, Omri Isac, Grant O. Passmore, Ekaterina Komendantskaya, Kathrin Stark, Guy Katz

Browse the full ITP paper archive.