TY  - RPRT
TI  - CheckINN: Wide Range Neural Network Verification in Imandra (Extended)
AU  - Remi Desmartin
AU  - Grant Passmore
AU  - Ekaterina Komendantskaya
AU  - Matthew Daggitt
PY  - 2022
UR  - https://arxiv.org/abs/2207.10562
ID  - 2207.10562
ER  -