Neural Networks in Imandra: Matrix Representation as a Verification Choice.

Remi Desmartin Grant O. Passmore Ekaterina Komendentskaya

Published in: NSV/FoMLAS@CAV (2022)

Keyphrases

matrix representation
neural network
pairwise
pattern recognition
model checking
databases
k means
relational structures