Linear-Time Arguments with Sublinear Verification from Tensor Codes.

Jonathan Bootle Alessandro Chiesa Jens Groth

Published in: TCC (2) (2020)

Keyphrases

higher order
model checking
high order
worst case
diffusion tensor
argumentation systems
formal verification
error correction
face verification
verification method
tensor decomposition
neural network
structure tensor
false acceptance rate