Matrix Multiplication Verification Using Coding Theory.

Huck Bennett Karthik Gajulapalli Alexander Golovnev Philip G. Warton

Published in: CoRR (2023)

Keyphrases

matrix multiplication
message passing
distributed memory
model checking
matrix factorization
formal verification
three dimensional
pairwise
markov random field
data processing
verification method