CheckINN: Wide Range Neural Network Verification in Imandra (Extended) (2022)

First Author: Desmartin R
Attributed to:  AISEC: AI Secure and Explainable by Construction funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.2207.10562

Publication URI: https://arxiv.org/abs/2207.10562

Type: Preprint