1. Jackson Abascal , Venkatesan Guruswami , and Pravesh K. Kothari . 2021. Strongly refuting all semi-random Boolean CSPs . In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021, Virtual Conference, January 10 - 13 , 2021 . SIAM, 454–472. Jackson Abascal, Venkatesan Guruswami, and Pravesh K. Kothari. 2021. Strongly refuting all semi-random Boolean CSPs. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021, Virtual Conference, January 10 - 13, 2021. SIAM, 454–472.
2. Proof verification and the hardness of approximation problems
3. Probabilistic checking of proofs
4. Arnab Bhattacharyya , L Sunil Chandran , and Suprovat Ghoshal . 2020 . Combinatorial Lower Bounds for 3-Query LDCs . In 11th Innovations in Theoretical Computer Science Conference (ITCS 2020). 151, 85. Arnab Bhattacharyya, L Sunil Chandran, and Suprovat Ghoshal. 2020. Combinatorial Lower Bounds for 3-Query LDCs. In 11th Innovations in Theoretical Computer Science Conference (ITCS 2020). 151, 85.
5. Arnab Bhattacharyya , Sivakanth Gopi , and Avishay Tal . 2017. Lower Bounds for 2-Query LCCs over Large Alphabet . In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2017 ). Arnab Bhattacharyya, Sivakanth Gopi, and Avishay Tal. 2017. Lower Bounds for 2-Query LCCs over Large Alphabet. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2017).