Prover efficient public verification of dense or sparse/structured matrix-vector multiplication.

Jean-Guillaume Dumas Vincent Zucca

Published in: CoRR (2017)

Keyphrases

sparse matrix
floating point
feature vectors
sparse representation
coefficient matrix
face recognition
model checking
formal verification
rows and columns
sparse matrices
dense optical flow