Showing 2022Show all
2 papers · 1 filter
cs.LO2022
CheckINN: Wide Range Neural Network Verification in Imandra (Extended)
Remi Desmartin, Grant Passmore, Ekaterina Komendantskaya +1
Neural networks are increasingly relied upon as components of complex safety-critical systems such as autonomous vehicles. There is high demand for tools and methods that embed neu…
cs.LO2022
Neural Networks in Imandra: Matrix Representation as a Verification Choice
Remi Desmartin, Grant Passmore, Ekaterina Komendantskaya
The demand for formal verification tools for neural networks has increased as neural networks have been deployed in a growing number of safety-critical applications. Matrices are a…