Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Marko Kleine Buning"'
As neural networks (NNs) are increasingly introduced into safety-critical domains, there is a growing need to formally verify NNs before deployment. In this work we focus on the formal verification problem of NN equivalence which aims to prove that t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9fd151edf23774306450819c7baa81a8
http://arxiv.org/abs/2112.06582
http://arxiv.org/abs/2112.06582
