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.
Logic of Differentiable Logics: Towards a Uniform Semantics of DL
A DL consists of a syntax in which specifications are stated and an interpretation function that translates expressions in the syntax into loss functions.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
