Towards a Certified Proof Checker for Deep Neural Network Verification.

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

Browse the full LOPSTR paper archive.