Rigid Matrices From Rectangular PCPs or: Hard Claims Have Complex Proofs.

Amey Bhangale Prahladh Harsha Orr Paradise Avishay Tal

Published in: FOCS (2020)

Keyphrases

real world
complex systems
data sets
complex data
database
real time
learning algorithm
computer vision
data structure
dimensionality reduction
formal proofs