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

Remi Desmartin Grant O. Passmore Ekaterina Komendantskaya

Published in: CoRR (2022)

Keyphrases

matrix representation
neural network
pairwise
pattern recognition
model checking
data sets
databases
least squares
bayesian networks
gene expression data