collaborators

1 paper

cs.LO2025

A Certified Proof Checker for Deep Neural Network Verification in Imandra

Remi Desmartin, Omri Isac, Grant Passmore +3

Recent advances in the verification of deep neural networks (DNNs) have opened the way for a broader usage of DNN verification technology in many application areas, including safet…