Probabilistically Checkable Proofs, Agreement Tests, and High Dimensional Expanders

Full project page

Organisations map overview