TY  - RPRT
TI  - Neural Networks in Imandra: Matrix Representation as a Verification Choice
AU  - Remi Desmartin
AU  - Grant Passmore
AU  - Ekaterina Komendantskaya
PY  - 2022
UR  - https://arxiv.org/abs/2205.09556
ID  - 2205.09556
ER  -