Search Results for author:
Found 3 papers, 0 papers with code
A Certified Proof Checker for Deep Neural Network Verification
Recent advances in the verification of deep neural networks (DNNs) have opened the way for broader usage of DNN verification technology in many application areas, including safety-critical ones.
Towards a Certified Proof Checker for Deep Neural Network Verification
In this work, we present a novel implementation of a proof checker for DNN verification.
CheckINN: Wide Range Neural Network Verification in Imandra (Extended)
Neural networks are increasingly relied upon as components of complex safety-critical systems such as autonomous vehicles.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
