Matrix Multiplication Verification Using Coding Theory

Huck Bennett, Karthik Gajulapalli, Alexander Golovnev +1

We study the Matrix Multiplication Verification Problem (MMV) where the goal is, given three $n\times n$ matrices $A$, $B$, and $C$ as input, to decide whether $AB=C$. A classic…