1. Relaxed locally correctable codes with improved parameters;Asadi;Electron. Colloq. Comput. Complex.,2020
2. Checking computations in polylogarithmic time;Babai,1991
3. Robust PCPs of proximity, shorter PCPs, and applications to coding;Ben-Sasson;SIAM J. Comput.,2006
4. Some 3cnf properties are hard to test;Ben-Sasson,2003
5. Simple PCPs with poly-log rate and query complexity;Ben-Sasson,2005