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
∙
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
