Search Results for author:
Found 5 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.
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
Prior work has demonstrated that machine learning can be useful in determining efficient variable orderings.
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.
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020).
