research
∙
07/12/2023
Towards a Certified Proof Checker for Deep Neural Network Verification
Recent developments in deep neural networks (DNNs) have led to their ado...
share
research
∙
02/27/2023
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
Cylindrical Algebraic Decomposition (CAD) is a key proof technique for f...
research
∙
07/21/2022
CheckINN: Wide Range Neural Network Verification in Imandra (Extended)
Neural networks are increasingly relied upon as components of complex sa...
research
∙
05/19/2022
Neural Networks in Imandra: Matrix Representation as a Verification Choice
The demand for formal verification tools for neural networks has increas...
research
∙
09/26/2020